National Science Library of Georgia

Refine your search

Your search returned 100 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Inexhaustibility : a non-exhaustive treatment / Torkel Franzén. by Series: Lecture notes in logic ; 16.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange. by Series: Cambridge tracts in theoretical computer science ; 58.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Classical groups, derangements, and primes / Timothy C. Burness, University of Bristol, Michael Giudici, University of Western Australia, Perth. by Series: Australian Mathematical Society lecture series ; 25.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Other title:
  • Classical Groups, Derangements & Primes
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logic and algebraic structures in quantum computing / edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov. by Series: Lecture notes in logic ; no. 45.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Other title:
  • Logic & Algebraic Structures in Quantum Computing
Online resources:
Availability: No items available.
Log in to add tags Add to cart
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.
Place hold Log in to add tags Add to cart
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar. by Series: Cambridge philosophy classics
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Other title:
  • Proofs & Refutations
Online resources:
Availability: No items available.
Log in to add tags Add to cart
A guide to NIP theories / Pierre Simon, CNRS, Université Lyon I. by Series: Lecture notes in logic ; 44.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Online resources:
Availability: No items available.
Log in to add tags Add to cart
The logic of infinity / Barnaby Sheppard. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Program logics for certified compilers / Andrew W. Appel [and seven others]. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Interpreting Gödel : critical essays / edited by Juliette Kennedy, University of Helsinki. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Formal logic = or, The calculus of inference, necessary and probable / Augustus De Morgan. by Series: Cambridge library collection
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Other title:
  • Calculus of inference, necessary and probable
Online resources:
Availability: No items available.
Log in to add tags Add to cart
An introduction to Gödel's theorems / Peter Smith. by Series: Cambridge introductions to philosophy
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Appalachian set theory : 2006-2012 / [edited by] James Cummings, Ernest Schimmerling. by Series: London Mathematical Society lecture note series ; 406.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logicism and its philosophical legacy / William Demopoulos. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Other title:
  • Logicism & its Philosophical Legacy
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Elements of logical reasoning / Jan von Plato. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet. by Series: Encyclopedia of mathematics and its applications ; v. 138.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Other title:
  • Graph Structure & Monadic Second-Order Logic
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak. by Series: Lecture notes in logic ; 36.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Set Theory, Arithmetic, & Foundations of Mathematics
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / Robert Goldblatt. by Series: Lecture notes in logic ; 38.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Quantifiers, Propositions & Identity
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Computational Logic & Human Thinking
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logical dynamics of information and interaction / Johan van Benthem. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Logical Dynamics of Information & Interaction
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.