National Science Library of Georgia

Refine your search

Your search returned 48 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.
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.
Foundations of fuzzy logic and Semantic Web languages / Umberto Straccia. [ebook] by Series: Chapman & Hall/CRC studies in informatics series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boca Raton, Fla. ; London : Chapman & Hall/CRC, [2014]
Online resources:
Availability: No items available.
Summulae de dialectica [electronic resource] / John Buridan ; an annotated translation, with a philosophical introduction, by Gyula Klima. by Series: Yale library of medieval philosophy
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English Original language: Latin
Publication details: New Haven : Yale University Press, c2001
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16”653”.
On the purity of the art of logic [electronic resource] : the shorter and the longer treatises / Walter Burley ; translated by Paul Vincent Spade. by Series: Yale library of medieval philosophy
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English Original language: Latin
Publication details: New Haven : Yale University Press, c2000
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16”04/14”.
Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen. by
Material type: Text Text; Format: print available online remote festschrift
Language: German Publisher: Cambridge : Cambridge University Press, 2000
Other title:
  • Between Logic & Intuition
Online resources:
Availability: No items available.
Computer science logic : 12th international workshop, CSL '98 : annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) by Series: Lecture notes in computer science ; 1584
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer, 1999
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 681.3 C-65.
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).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.