National Science Library of Georgia

Refine your search

Your search returned 17 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).
What is a logical system? / edited by D.M. Gabbay. by Series: Studies in logic and computation ; 4 | Oxford science publications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford : New York : Clarendon Press ; 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).
A course in mathematical logic / by J. L. Bell and M. Machover. by
Material type: Text 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:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11.
Logik macht Spass : 85 Aufgaben mit Lösungen / von György Bizám und János Herczeg. by
Material type: Text 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).
An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack. by Series: Graduate texts in mathematics ; v. 22
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer-Verlag, [1975]
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.
Schriften zur Logik : aus d. Nachlass / Gotlob Frege ; mit einer Einleitung von Lothar Kreiser. by Series: Philosophische Studientexte
Material type: Text Text; Format: print ; Literary form:
Language: German
Publication details: Berlin : Akademie-Verlag, 1973
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Logik-Texte : Kommentierte ausw. zur Geschichte d. modernen Logik / Von Karel Berka [u.] Lothar Kreiser. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: German
Publication details: Berlin : Akademie-Verlag, 1971
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
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).
Les fondements de la logique symbolique : Vol. 1 : Critique du nominalisme logistique / par Thomas Greenwood. by Series: Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood ; I-II
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: French
Publication details: Paris : Hermann & cie, 1938
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Les fondements de la logique symbolique : Vol. 2 : Justification des calculs logiques / par Thomas Greenwood. by Series: Logique et methodologie, exposes pub. sous la direction de Thomas Greenwood ; I-II
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: French
Publication details: Paris : Hermann & cie, 1938
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
The categories of Charles Peirce : a dissertation / Eugene Freeman. by
Material type: Text Text; Format: print
Language: English
Publication details: [Chicago] : The University of Chicago libraries, 1934
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.