National Science Library of Georgia

Refine your search

Your search returned 214 results.

Sort
Results
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. by
Edition: Fourth edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2002
Other title:
  • Computability & Logic
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”.
Journal of mathematical logic [electronic resource].
Material type: Continuing resource Continuing resource; Format: print available online remote; Type of continuing resource: periodical
Publication details: Singapore : World Scientific : Singapore University Press, c2001-
Other title:
  • JML
In: Academic Search Premier
Availability: No items available.
International journal of computational intelligence and applications [electronic resource].
Material type: Continuing resource Continuing resource; Format: print available online remote; Type of continuing resource: periodical
Publication details: London : Imperial College Press, c2001-
Other title:
  • Computational intelligence and applications
In: Academic Search Premier
Availability: No items available.
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema. by Series: Cambridge tracts in theoretical computer science ; 53.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2001
Online resources:
Availability: No items available.
Uncertain inference / Henry E. Kyburg, Jr. and Choh Man Teng. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2001
Online resources:
Availability: No items available.
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.
Fundamentals of electrical control Clarence A. Phipps. by
Edition: 2nd edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Lilburn, Ga : Fairmont Press, 1999
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 621.3.
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.
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).
The shaping of deduction in Greek mathematics : a study in cognitive history / Reviel Netz. by Series: Ideas in context ; 51.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1999
Online resources:
Availability: No items available.
Principia mathematica, to *56 / by Alfred North Whitehead and Bertrand Russell. by Series: Cambridge mathematical library
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1997
Online resources:
Availability: No items available.
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. by Series: Publications of the Newton Institute ; 14.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1997
Other title:
  • Semantics & Logics of Computation
Online resources:
Availability: No items available.
Communication complexity / Eyal Kushilevitz, Noam Nisan. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1997
Online resources:
Availability: No items available.
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:
Nordic journal of philosophical logic [electronic resource] : NJPL / Department of Philosophy, University of Oslo. by
Material type: Continuing resource Continuing resource; Format: print available online remote; Type of continuing resource: periodical
Publication details: Oslo : Scandinavian University Press, 1996-2001
Other title:
  • NJPL
In: Academic Search Premier
Availability: No items available.
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 principles of mathematics revisited / Jaakko Hintikka. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1996
Online resources:
Availability: No items available.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.