National Science Library of Georgia

Your search returned 13 results.

Sort
Results
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).
Set theory and its logic / [by] Willard Van Orman Quine. by
Edition: Revised edition
Material type: Text Text; Format: print ; Literary form: Not fiction
Cambridge, Massachusetts ; London, (England) : Harvard University Press, [1978]
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1).
Friedrich Ludwig Gottlob Frege : zur Aktualität seines Werkes / [wissenschaftliche Bearbeitung Helmut Metzler] ; Friedrich-Schiller-Universität Jena by Series: Wissenschaftliche Beiträge der Friedrich-Schiller-Universität Jena | Wissenschaftliche Beiträge der Friedrich-Schiller-Universität Jena
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: German
Publication details: Jena : Friedrich-Schiller-Universität, 1976
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).
Introduction to Symbolic Logic and Its Applications / Rudolf Carnap. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English New York : Dover, 2012. 1958
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Axiomatik der Anschauungsmannigfaltigkeit / von Yrjö Reenpää. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Helsinki : Suomalainen Tiedeakatemia, 1953
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Über anschauliche Unabhängigkeit und begriffliche Orthogonalität / von Yrjö Reenpää. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Helsinki : Suomalainen Tiedeakatemia, 1953
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
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.