National Science Library of Georgia

Refine your search

Your search returned 46 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.
Dharmakīrti's thought and its impact on Indian and Tibetan philosophy : proceedings of the Third International Dharmakīrti Conference, Hiroshima, November 4-6, 1997 / edited by Shoryu Katsura. by Series: Beiträge zur Kultur- und Geistesgeschichte Asiens ; Nr. 32 | Denkschriften (Österreichische Akademie der Wissenschaften. Philosophisch-Historische Klasse) ; 281. Bd.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English, Sanskrit
Publication details: Wien : Verlag der Österreichischen Akademie der Wissenchaften, 1999
Other title:
  • Proceedings of the Third International Dharmakīrti Conference, Hiroshima, November 4-6, 1997
  • Proceedings of the 3rd International Dharmakīrti Conference, Hiroshima, November 4-6, 1997
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
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).
Sprache und Spracherlernung : unter mathematisch-biologischer Perspektive / Volker Beeh. by Series: Foundations of communication
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: German
Publication details: Berlin ; New York : de Gruyter, 1981
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Systems of semantics and syntax : a determinational theory of language / Jerzy Bańczerowski. by Series: Seria Neofilologia ; t. 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Warszawa : Państwowe Wydawn. Naukowe, 1980
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:
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.