Your search returned 18 results.

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)
		Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott Series: Textbooks in mathematics \| A Chapman & Hall book Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015 Online resources: Zentralblatt MATH Inhaltstext Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6 M-55. Place hold Log in to add tags Add to cart (remove)
		Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen. by Sher, Gila [რედაქტორი] Tieszen, Richard L [რედაქტორი] Material type: Text; Format: print available online festschrift Language: German Publisher: Cambridge : Cambridge University Press, 2000 Other title: Between Logic & Intuition Online resources: Click here to access online Availability: No items available. 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)
		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)
		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)
		A course in mathematical logic / by J. L. Bell and M. Machover. by Bell, J. L. (John Lane) Machover, Moshé 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 Online resources: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11. Place hold 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)
		No cover image available Schriften zur Logik : aus d. Nachlass / Gotlob Frege ; mit einer Einleitung von Lothar Kreiser. by Frege, Gottlob, 1848-1925. [from old catalog] Kreiser, Lothar. [from old catalog] [წინასიტყვაობის ავტორი] Series: Philosophische Studientexte Material type: Text; Format: print ; Literary form: Language: German Publication details: Berlin : Akademie-Verlag, 1973 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Logik-Texte : Kommentierte ausw. zur Geschichte d. modernen Logik / Von Karel Berka [u.] Lothar Kreiser. by Berka, Karel Kreiser, Lothar Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Berlin : Akademie-Verlag, 1971 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Untersuchungen über den Einfluss des Wahrheitswertes von Aussagen auf das Erkennen der logischen Äquivalenz bzw. : Nichtäquivalenz von Aussagenpaaren durch Schüler / [Von] Hans Bock [und] Werner Walsch. by Bock, Hans, Dr. paed Walsch, Werner Series: Universität Halle-Wittenberg. Wissenschaftliche Beiträge ; 1967/17. Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Halle <Saale> : Martin-Luther-Universität Halle-Wittenberg, 1967 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Introduction to mathematical logic : Vol. 1 / Alonzo Church. by Church, Alonzo, 1903-1995 Series: Princeton mathematical series ; 17 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton : Princeton University Press, 1956 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). Log in to add tags Add to cart (remove)
		No cover image available Les fondements de la logique symbolique : Vol. 1 : Critique du nominalisme logistique / par Thomas Greenwood. by Greenwood, Thomas, 1901- Series: Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood ; I-II Material type: Text; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : Hermann & cie, 1938 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Les fondements de la logique symbolique : Vol. 2 : Justification des calculs logiques / par Thomas Greenwood. by Greenwood, Thomas, 1901- Series: Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood ; I-II Material type: Text; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : Hermann & cie, 1938 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available The categories of Charles Peirce : a dissertation / Eugene Freeman. by Freeman, Eugene, 1906-1986 Material type: Text; Format: print Language: English Publication details: [Chicago] : The University of Chicago libraries, 1934 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.