Results of search for 'ccl=(su:{ლოგიკა }) and location:GEN and itype:BK' › ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library catalog

Results
		Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9 / edited by George Jaiani, David Natroshvili. by Jaiani, George [რედაქტორი] Natroshvili, David [რედაქტორი] Series: Springer Proceedings in Mathematics & Statistics ; 276 Material type: Text; Format: print available online ; Literary form: Not fiction Language: English Publisher: Cham, Switzerland : Springer, ©2019 Online resources: ZZ Volltext Click here to access online Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		A concise introduction to logic / Patrick J. Hurley, University of San Diego, Lori Watson, University of San Diego. by Hurley, Patrick J, 1942- Watson, Lori Edition: Thirteenth edition. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Boston, MA : Cengage Learning, [2018] Other title: Logic Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		Introduction to logic / Irving M. Copi, Carl Cohen, Kenneth McMahon. by Copi, Irving M Cohen, Carl, 1931- McMahon, K. D. (Kenneth D.) Series: Pearson custom library Edition: Fourteenth edition, Pearson new international edition Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: London : Routledge, 2016. ©2014 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		First-order logic and automated theorem proving / Melvin Fitting. by Fitting, Melvin, 1942- Series: Graduate texts in computer science \| Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer, c1996 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004 F-48. Lists: Springer series. Place hold Log in to add tags Add to cart (remove)
		Logic / Robert Baum. by Baum, Robert, 1941- Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Fort Worth : Harcourt Brace College Publishers, c1996 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		The genealogy of disjunction / R. E. Jennings. by Jennings, R. E. (Raymond Earl) Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 160.1. Place hold Log in to add tags Add to cart (remove)
		No cover image available The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein. by Epstein, Richard L, 1947- Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Table of contents only Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		What is a logical system? / edited by D.M. Gabbay. by Gabbay, Dov M, 1945- [რედაქტორი] Series: Studies in logic and computation ; 4 \| Oxford science publications Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994 Online resources: Publisher description Table of contents only Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Current issues and enduring questions : methods and models of argument / edited by Sylvan Barnet, Hugo Bedau. by Barnet, Sylvan [რედაქტორი] Bedau, Hugo Adam [რედაქტორი] Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston : Bedford Books of St. Martin's Press, c1990 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Knowing who / Steven E. Boër and William G. Lycan. by Boër, Steven E Lycan, William G Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge, Mass. : MIT Press, c1986 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate Texts in Mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: New York : Springer-Verlag, c1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / J.F.A.K. van Benthem. by Benthem, Johan van, 1949- Series: Synthese library ; v. 156 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht, Holland ; Boston : Hingham, MA : D. Reidel Pub. Co. ; Distributed in the U.S.A. and Canada by Kluwer Boston, c1983 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Der Schluss : die Dialektik des Schlusses / von László Erdei. by Erdei, László Material type: Text; Format: print ; Literary form: Not fiction Language: gerhun Publication details: Budapest : Akadëmiai Kiadó, 1983 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		The logic of language development in early childhood / Max Miller ; translated by Robert T. King. by Miller, Max H King, Robert T [მთარგმნელი] Series: Springer series in language and communication ; v. 3 Material type: Text; Format: print ; Literary form: Not fiction Language: English, German Publication details: Berlin ; New York : Springer-Verlag, 1979 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 81. Lists: Springer series. Place hold Log in to add tags Add to cart (remove)
		Inferring from language / Leonard G. M. Noordman ; with a foreword by Herbert H. Clark. by Noordman, Leonard G. M, 1940- Series: Springer series in language and communication ; v. 4 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1979 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 81. Lists: Springer series. Place hold Log in to add tags Add to cart (remove)
		Choice and chance : an introduction to inductive logic / Brian Skyrms. by Skyrms, Brian Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Encino, Calif. : Dickenson Pub. Co., [1975] Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Computer science and multiple valued logic : theory and applications / edited by David C. Rine. by Rine, David C [რედაქტორი] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co., 1977 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Lists: ინფორმაციული და საკომუნიკაციო ტექნოლოგიები. Log in to add tags Add to cart (remove)
		Logik macht Spass : 85 Aufgaben mit Lösungen / von György Bizám und János Herczeg. by Bizám, György Herczeg, János Material type: Text; Format: print ; Literary form: Not fiction Language: German Original language: Hungarian Publication details: Budapest : Akadémiai Kiadó, 1976 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack. by Barnes, D. W. (Donald W.), 1935- Mack, J. M Series: Graduate texts in mathematics ; v. 22 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, [1975] Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated [from the German] by D. F. Pears & B. F. McGuinness ; with the introduction by Bertrand Russell. by Wittgenstein, Ludwig, 1889-1951 Pears, D. F [მთარგმნელი] McGuinness, B. F [მთარგმნელი] Russel, Bertrand [წინასიტყვაობის ავტორი] Series: Routledge Classics Edition: [Revised ed.]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: London ; New York : Routledge and Kegan Paul, 1974, 1961 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 81 : 164. Place hold Log in to add tags Add to cart (remove)

National Science Library of Georgia

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 34 results.