Your search returned 9 results. Subscribe to this search

|
1. 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 [რედაქტორი].

Material type: book Book; Format: print available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, ©2019.Online access: ZZ Volltext | Click here to access online Availability: No items available Lost (1).
Log in to add tags. Add to cart
2. Introduction to mathematical logic / Elliott Mendelson.

by Mendelson, Elliott.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015.Online access: Zentralblatt MATH Inhaltstext Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6 M-55] (1).
3. First-order logic and automated theorem proving / Melvin Fitting.

by Fitting, Melvin, 1942-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c1996Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 517 F-48] (1).
4. First-order logic and automated theorem proving / Melvin Fitting.

by Fitting, Melvin, 1942-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c1996Availability: No items available Lost (1).
5. The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein.

by Epstein, Richard L, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Oxford University Press, 1994Online access: Publisher description | Table of contents only Availability: No items available Lost (1).
6. Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.

by Ebbinghaus, Heinz-Dieter, 1939- | Flum, Jörg | Thomas, Wolfgang, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1984Availability: No items available Lost (1).
7. 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 [წინასიტყვაობის ავტორი].

Edition: [Revised ed.].Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London ; New York : Routledge and Kegan Paul, 1974, 1961Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 81 : 164] (1).
8. 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.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Halle <Saale> : Martin-Luther-Universität Halle-Wittenberg, 1967Availability: No items available Lost (1).
9. Introduction to mathematical logic : Vol. 1 / Alonzo Church.

by Church, Alonzo, 1903-1995.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton : Princeton University Press, 1956Availability: No items available Lost (2).
Not finding what you're looking for?
Make a purchase suggestion

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2019

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას