Your search returned 7 results. Subscribe to this search

|
1. 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).
Place hold Log in to add tags. Add to cart
2. Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen.

by Sher, Gila [რედაქტორი] | Tieszen, Richard L [რედაქტორი].

Material type: book Book; Format: print available online remote festschrift Publisher: Cambridge : Cambridge University Press, 2000.Other title: Between Logic & Intuition.Online access: Click here to access online Availability: No items available
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: No items available Lost (1).
4. 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).
5. Friedrich Ludwig Gottlob Frege : zur Aktualität seines Werkes / [wissenschaftliche Bearbeitung Helmut Metzler] ; Friedrich-Schiller-Universität Jena

by Metzler, Helmut [სამეცნიერო რედაქტორი] | Friedrich-Schiller-Universität Jena.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Jena : Friedrich-Schiller-Universität, 1976Availability: No items available Lost (1).
6. 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).
7. Introduction to Symbolic Logic and Its Applications / Rudolf Carnap.

by Carnap, Rudolf.

Material type: book Book; Format: print ; Literary form: Not fiction New York : Dover, 2012. 1958.Availability: No items available Lost (1).
Not finding what you're looking for?
Make a purchase suggestion

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

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