National Science Library of Georgia

Refine your search

Your search returned 214 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
A budget of paradoxes / Augustus De Morgan ; edited by Sophia De Morgan. by Series: Cambridge library collection
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
Nuel Belnap on Indeterminism and Free Action [electronic resource] / edited by Thomas Müller. by Series: Outstanding Contributions to Logic ; 2
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: No items available.
Log in to add tags Add to cart
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.
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
Modal logic for philosophers / James W. Garson, University of Houston. by
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
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
Relations and Predicates / Herbert Hochberg, Kevin Mulligan. by Series: Philosophische Analyse / Philosophical Analysis ; 11
Material type: Text Text; Format: available online remote; Audience: Specialized;
Language: English Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2004Title is part of eBook package: eBook Package De Gruyter Ontos 2002-2012Title is part of eBook package: eBook Paket De Gruyter Ontos 2002-2012
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Referenz, Quantifikation und ontologische Festlegung / Maria Elisabeth Reicher. by Series: Philosophische Analyse / Philosophical Analysis ; 10
Material type: Text Text; Format: available online remote; Audience: Specialized;
Language: German Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2005Title is part of eBook package: eBook Paket De Gruyter Ontos 2002-2012
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Language and World : [Proceedings of the 32th International Ludwig Wittgenstein Symposium in Kirchberg, 2009]. Part 2, Signs, Minds and Actions. by Series: Publications of the Austrian Ludwig Wittgenstein Society - New Series ; 15
Material type: Text Text; Format: available online remote; Audience: Specialized;
Language: English Publisher: Berlin ; Boston : De Gruyter, [2013]Copyright date: ©2010Title is part of eBook package: eBook Package De Gruyter Ontos 2002-2012Title is part of eBook package: eBook Paket De Gruyter Ontos 2002-2012
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
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. by Series: Cambridge tracts in theoretical computer science ; 52.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Other title:
  • Advanced Topics in Bisimulation & Coinduction
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Digital logic design : a rigorous approach / Guy Even, Tel Aviv University, Israel, Moti Medina, Tel Aviv University, Israel. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Online resources:
Availability: No items available.
Log in to add tags Add to cart
An introduction to bisimulation and coinduction / Davide Sangiorgi. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Other title:
  • Introduction to Bisimulation & Coinduction
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.