National Science Library of Georgia

Refine your search

Your search returned 38 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).
A concise introduction to logic / Patrick J. Hurley, University of San Diego, Lori Watson, University of San Diego. by
Edition: Thirteenth edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Boston, MA : Cengage Learning, [2018]
Other title:
  • Logic
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16.
Introduction to logic / Irving M. Copi, Carl Cohen, Kenneth McMahon. by Series: Pearson custom library
Edition: Fourteenth edition, Pearson new international edition
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: London : Routledge, 2016. ©2014
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16.
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:
Logic / Robert Baum. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Fort Worth : Harcourt Brace College Publishers, c1996
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16.
The genealogy of disjunction / R. E. Jennings. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Oxford University Press, 1994
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 160.1.
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).
Metalogicon : 1991 : rivista internazionale di logica pura e applicata di linguistica e di filosofia.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English, German, Italian
Publication details: Napoli : L.E.R., [1988]-
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Current issues and enduring questions : methods and models of argument / edited by Sylvan Barnet, Hugo Bedau. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston : Bedford Books of St. Martin's Press, c1990
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Probleme de logică : 1986 / Academia Republicii Socialiste România, Centrul de Logică. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Romanian
Publication details: București : Editura Academiei Republicii Socialiste România, 1956-
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Knowing who / Steven E. Boër and William G. Lycan. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge, Mass. : MIT Press, c1986
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).
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / J.F.A.K. van Benthem. by Series: Synthese library ; v. 156
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht, Holland ; Boston : Hingham, MA : D. Reidel Pub. Co. ; Distributed in the U.S.A. and Canada by Kluwer Boston, c1983
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Der Schluss : die Dialektik des Schlusses / von László Erdei. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: gerhun
Publication details: Budapest : Akadëmiai Kiadó, 1983
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Probleme de logică : 1981 / Academia Republicii Socialiste România, Centrul de Logică. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Romanian
Publication details: București : Editura Academiei Republicii Socialiste România, 1956-
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
The logic of language development in early childhood / Max Miller ; translated by Robert T. King. by Series: Springer series in language and communication ; v. 3
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English, German
Publication details: Berlin ; New York : Springer-Verlag, 1979
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 81.
Lists:
Inferring from language / Leonard G. M. Noordman ; with a foreword by Herbert H. Clark. by Series: Springer series in language and communication ; v. 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1979
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 81.
Lists:
Choice and chance : an introduction to inductive logic / Brian Skyrms. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Encino, Calif. : Dickenson Pub. Co., [1975]
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Probleme de logică : 1977 / Academia Republicii Socialiste România, Centrul de Logică. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Romanian
Publication details: București : Editura Academiei Republicii Socialiste România, 1956-
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.