Advanced ukasiewicz calculus and MV-algebras (Trends in Logic)
by D. Mundici
ISBN 13: 9789400708396
Format: Hardcover (274 pages) Publisher: Springer Published: 23 Jun 2011
Save for later
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011
Principia Mathematica to *56 (Cambridge Mathematical Library)
by Alfred North Whitehead, Bertrand Russell
ISBN 13: 9780521626064
Format: Paperback (460 pages) Publisher: Cambridge University Press Published: 11 Sep 1997
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s
by
ISBN 13: 9780195096323
Format: Paperback (352 pages) Publisher: OUP USA Published: 13 Nov 1997
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)
ISBN 13: 9789400700796
Format: Hardcover (424 pages) Publisher: Springer Published: 07 Apr 2011
Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)
by George J. Klir, Doug Elias
ISBN 13: 9780306473579
Format: Hardcover (354 pages) Publisher: Springer Published: 31 Jan 2003
Sweet Reason: A Field Guide to Modern Logic
by James M. Henle, Jay L. Garfield, Thomas Tymoczko
ISBN 13: 9781444337150
Format: Paperback (424 pages) Publisher: John Wiley & Sons Published: 26 Aug 2011
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)
by Murray R. Bremner
ISBN 13: 9781439807026
Format: Hardcover (332 pages) Publisher: CRC Press Published: 08 Sep 2011
Hybrid Logic and its Proof-Theory (Applied Logic Series)
by Torben Braüner
ISBN 13: 9789400700017
Format: Hardcover (244 pages) Publisher: Springer Published: 30 Nov 2010
General Lattice Theory: Second edition: Volume 1: The Foundation
by George Grätzer
ISBN 13: 9783764369965
Format: Paperback (663 pages) Publisher: Birkhauser Published: 21 Nov 2002
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004