Browsing “Logic” (Showing 301 - 320 of 1310 results)
The Induction Book
- Format: Reflowable
- $24.95 USD
Reuniting the Antipodes - Constructive and Nonstandard Vi...
Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999- Edition: 1st
- Format: Fixed
- From $47.70 USD
Category Theory in Context
- Format: Reflowable
- $29.95 USD
Function Algebras on Finite Sets
Basic Course on Many-Valued Logic and Clone Theory- Format: Fixed
- From $29.70 USD
Functional Interpretation Of Logical Deduction, The
- Format: Fixed
- $165.00 USD
MEMOIRS OF A PROOF THEORIST
Gödel and Other Logicians- Format: Fixed
- $105.00 USD
Mathematical Logic
- Edition: 3rd
- Format: Fixed
- From $16.50 USD
Magic Garden Of George B And Other Logic Puzzles, The
- Format: Fixed
- $87.00 USD
Compiler Construction
16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings- Edition: 1st
- Format: Fixed
- From $16.50 USD
Logic-Based Program Synthesis and Transformation
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers- Edition: 1st
- Format: Fixed
- From $27.00 USD
An Introduction to Fuzzy Logic and Fuzzy Sets
- Format: Fixed
- From $21.00 USD
Brouwer meets Husserl
On the Phenomenology of Choice Sequences- Format: Fixed
- From $47.70 USD
Giuseppe Peano between Mathematics and Logic
Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008- Edition: 1st
- Format: Fixed
- From $29.70 USD
Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings- Edition: 1st
- Format: Fixed
- From $16.50 USD
FSTTCS 2007: Foundations of Software Technology and Theor...
27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings- Edition: 1st
- Format: Fixed
- From $16.50 USD
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings- Edition: 1st
- Format: Fixed
- From $16.50 USD
Axiom of Choice
- Format: Fixed
- From $18.00 USD
A New Perspective on Nonmonotonic Logics
- Format: Fixed
- From $44.70 USD
Structures and Algorithms
Mathematics and the Nature of Knowledge- Format: Reflowable
- From $29.70 USD
Theory of Graded Consequence
A General Framework for Logics of Uncertainty- Format: Reflowable
- From $16.50 USD