National Science Library of Georgia

Your search returned 18 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
The metaphysics and mathematics of arbitrary objects / Leon Horsten. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek. by Series: Lecture notes in logic ; 6.
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
Intensionality / edited by Reinhard Kähle. by Series: Lecture notes in logic ; 22.
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
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
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
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
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
The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Mathematics, models, and modality : selected philosophical essays / John P. Burgess. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Other title:
  • Mathematics, Models, & Modality
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Mathematical thought and its objects / Charles Parsons. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Other title:
  • Mathematical Thought & its Objects
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Phenomenology, logic, and the philosophy of mathematics / Richard Tieszen. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2005
Other title:
  • Phenomenology, Logic, & the Philosophy of Mathematics
Online resources:
Availability: No items available.
Log in to add tags Add to cart
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.
Log in to add tags Add to cart
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.
Log in to add tags Add to cart
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.
Log in to add tags Add to cart
Proofs and refutations : the logic of mathematical discovery / by Imre Lakatos ; edited by John Worrall and Elie Zahar. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1976
Other title:
  • Proofs & Refutations
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.