National Science Library of Georgia

Refine your search

Your search returned 214 results.

Sort
Results
An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / Merrie Bergmann. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Other title:
  • An Introduction to Many-Valued & Fuzzy Logic
Online resources:
Availability: No items available.
High performance ASIC design : using synthesizable domino logic in an ASIC flow / Razak Hossain. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Online resources:
Availability: No items available.
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.
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.
Dependence logic : a new approach to independence friendly logic / Jouko Väänänen. by Series: London Mathematical Society student texts ; 70.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: No items available.
An introduction to Gödel's Theorems / Peter Smith. by Series: Cambridge introductions to philosophy
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: No items available.
The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: No items available.
Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: No items available.
Computability and logic / George S. Boolos, John P. Burgess , Richard C. Jeffrey. by
Edition: Fifth edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2007
Other title:
  • Computability & Logic
Online resources:
Availability: No items available.
Inductive reasoning : experimental, developmental, and computational approaches / edited by Aidan Feeney, Evan Heit. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: No items available.
Symmetry and its discontents : essays on the history of inductive probability / S.L. Zabell. by Series: Cambridge studies in probability, induction, and decision theory
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2006
Other title:
  • Symmetry & its Discontents
Online resources:
Availability: No items available.
Rippling : meta-level guidance for mathematical reasoning / Alan Bundy [and three others]. by Series: Cambridge tracts in theoretical computer science ; 56.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2005
Online resources:
Availability: No items available.
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.
Lectures in logic and set theory. Volume 1, Mathematical logic / George Tourlakis. by Series: Cambridge studies in advanced mathematics ; 82.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2003
Other title:
  • Lectures in Logic & Set Theory
Online resources:
Availability: No items available.
Lectures in logic and set theory. Volume 2, Set theory / George Tourlakis. by Series: Cambridge studies in advanced mathematics ; 83.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2003
Other title:
  • Lectures in Logic & Set Theory
Online resources:
Availability: No items available.
Free logic : selected essays / Karel Lambert. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2003
Online resources:
Availability: No items available.
Paradox and paraconsistency : conflict resolution in the abstract sciences / John Woods. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2003
Other title:
  • Paradox & Paraconsistency
Online resources:
Availability: No items available.
Analysis and logic / edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson [and others]. by Series: London Mathematical Society lecture note series ; 262.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2002
Other title:
  • Analysis & Logic
Online resources:
Availability: No items available.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.