Mathematical logic books

5407 books were found.

Recasting Reality: Wolfgang Pauli's Philosophical Ideas and Contemporary Science

Recasting Reality: Wolfgang Pauli's Philosophical Ideas...
Author: Harald Atmanspacher , Hans Primas ISBN: 9783540851974 Format: Hardback	$211.07
This volume explores Wolfgang Pauli's visionary ideas with respect to several topics in science and philosophy that... Read More >>

Gödel's Proof

Gödel's Proof
Author: Ernest Nagel , James R. Newman ISBN: 9780814758373 Format: Paperback	$32.99
In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica... Read More >>

The Axiom of Choice

The Axiom of Choice
Author: Thomas J Jech ISBN: 9780486466248 Format: Paperback	$29.99
Read More >>

Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman

Dialogues, Logics and Other Strange Things: Essays in...
Author: Cedric Degremont , Laurent Keiff ISBN: 9781904987130 Format: Paperback	$43.99
Read More >>

Lattices and Ordered Sets

Lattices and Ordered Sets
Author: Steven Roman ISBN: 9780387789002 Format: Hardback	$211.07
Lattice theory began in the early 1890s, when Richard Dedekind wanted to know the answer to the following question:... Read More >>

Alternatives to Set Theory

Alternatives to Set Theory
Author: Klaus Robering ISBN: 9781904987857 Format: Paperback	$36.22
Read More >>

Mathematical Logic

Mathematical Logic
Author: George Tourlakis (York University, Toronto, Canada) ISBN: 9780470280744 Format: Hardback	$207.95
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents... Read More >>

Entscheidbarkeit Bei Petri Netzen: �berblick Und Kompendium

Entscheidbarkeit Bei Petri Netzen: �berblick Und Kompendium...
Author: Harro Wimmel ISBN: 9783540854708 Format: Hardback	$131.87
Petri Netze sind das am besten untersuchte Modell f�r parallele Rechnungen und Stellen/Transitionennetze. In diesem... Read More >>

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Computer Science Logic: 22nd International Workshop,...
Author: Michael Kaminski , Simone Martini ISBN: 9783540875307 Format: Paperback	$237.47
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL... Read More >>

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International...
Author: Egon Börger , Michael Butler ISBN: 9783540876021 Format: Paperback	$211.07
Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical... Read More >>

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings

Developments in Language Theory: 12th International...
Author: Masami Ito , Masafumi Toyama ISBN: 9783540857792 Format: Paperback	$277.20
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language... Read More >>

Elementary Logic: For Software Development

Elementary Logic: For Software Development
Author: Robert Lover ISBN: 9781848000810 Format: Paperback	$131.87
Read More >>

Elementary Induction on Abstract Structures

Elementary Induction on Abstract Structures
Author: Yiannis N Moschovakis ISBN: 9780486466781 Format: Paperback	$39.47
Well-written research monograph, recommended for students and professionals interested in model theory and definability... Read More >>

Fuzzy Implications

Fuzzy Implications
Author: Michał Baczyński , Balasubramaniam Jayaram ISBN: 9783540690801 Format: Hardback	$472.56
This book is the first ever to deal exclusively with this class of operations. It offers an introduction to Fuzzy... Read More >>

Zinc Finger Proteins

Zinc Finger Proteins
Author: Alexander S Kechris (California Institute of Technology) , Donald A Martin ISBN: 9780387500201 Format: Hardback	$65.87
Read More >>

Applications and Theory of Petri Nets

Applications and Theory of Petri Nets
Author: Kees M Van Hee , R Diger Valk ISBN: 9783540864462 Format: Undefined	$65.87
<p>This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory... Read More >>

Reliability and Six SIGMA

Reliability and Six SIGMA
Author: U Dinesh Kumar , John Crocker, JR ISBN: 9780387510811 Format: Paperback	$65.87
Read More >>

Axioms For Lattices And Boolean Algebras

Axioms For Lattices And Boolean Algebras
Author: R Padmanabhan (Univ Of Manitoba, Canada) , Sergiu Rudeanu (Univ Of Bucharest, Romania) ISBN: 9789812834546 Format: Hardback	$179.52
Presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given... Read More >>

Organized Crime: Culture, Markets and Policies

Organized Crime: Culture, Markets and Policies
Author: Dina Siegel , Hans Nelen ISBN: 9780387097107 Format: Paperback	$158.27
Dina Siegel and Hans Nelen The term ‘global organized crime’ has been in use in criminology since the mid 1990s.... Read More >>

Schaum's Outline of French Grammar

Schaum's Outline of French Grammar
Author: Mary Crocker , Crocker Mary ISBN: 9786611845315 Format: Electronic book text	$100.06
Schaum's Outline of French Grammar delivers a comprehensive and efficient review of French grammar, with exercises,... Read More >>

Laws of Nature

Laws of Nature
Author: Peter Mittelstaedt (Universitat zu Koln) , Paul A Weingartner ISBN: 9783540806035 Format: Paperback	$65.87
The book is concerned with the laws of nature and in particular with the laws of physics. The authors discuss three... Read More >>

Adapting Proofs-As-Programs

Adapting Proofs-As-Programs
Author: Iman Hafiz Poernomo , John Newsome Crossley ISBN: 9780387503721 Format: Undefined	$65.87
<p>This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set... Read More >>

The Consistency of the Continuum Hypothesis by Kurt Godel

The Consistency of the Continuum Hypothesis by Kurt...
Author: Kurt Godel , Richard Laver ISBN: 9780923891534 Format: Paperback	$50.03
Previously published: Princeton University Press, 1940. Read More >>

Theory and Applications of Satisfiability Testing - SAT 2007

Theory and Applications of Satisfiability Testing -...
Author: Joao Marques-Silva , Karem A Sakallah ISBN: 9783540838890 Format: Undefined	$65.87
<p>This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications... Read More >>

Visualization, Explanation and Reasoning Styles in Mathematics

Visualization, Explanation and Reasoning Styles in Mathematics...
Author: P Mancosu , K F Jorgensen ISBN: 9789048102631 Format: Undefined	$65.87
<p>This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several... Read More >>

Page 153 of 217 ... 148 149 150 151 152 153 154 155 156 157 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now