National Science Library of Georgia

Your search returned 8 results.

Sort
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 Series: Springer Proceedings in Mathematics & Statistics ; 276
Material type: Text Text; Format: print available online remote; Literary form: Not fiction
Language: English Publisher: Cham, Switzerland : Springer, ©2019
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Introduction to mathematical logic / Elliott Mendelson. by Series: Textbooks in mathematics | A Chapman & Hall book
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6 M-55.
First-order logic and automated theorem proving / Melvin Fitting. by Series: Graduate texts in computer science | Graduate texts in computer science (Springer-Verlag New York Inc.)
Edition: 2nd ed.
Material type: Text 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:
The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Oxford University Press, 1994
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. by Series: Undergraduate Texts in Mathematics
Material type: Text 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).
Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated [from the German] by D. F. Pears & B. F. McGuinness ; with the introduction by Bertrand Russell. by Series: Routledge Classics
Edition: [Revised ed.].
Material type: Text 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.
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 Series: Universität Halle-Wittenberg. Wissenschaftliche Beiträge ; 1967/17.
Material type: Text 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).
Introduction to mathematical logic : Vol. 1 / Alonzo Church. by Series: Princeton mathematical series ; 17
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Princeton : Princeton University Press, 1956
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.