Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Save for later
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
A Mathematical Introduction to Logic
by Herbert Enderton,Herbert B. Enderton
ISBN 13: 9780122384523
Format: Hardcover (317 pages) Publisher: Academic Press Published: 01 Jan 2001
Converging Realities: Toward a Common Philosophy of Physics and Mathematics
by Roland Omnès
ISBN 13: 9780691115306
Format: Hardcover (284 pages) Publisher: Princeton University Press Published: 29 Nov 2004
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)
by Kofi Kissi Dompere
ISBN 13: 9783540880844
Format: Hardcover (266 pages) Publisher: Springer Published: 20 Mar 2009
The Infinite in the Infinite
by Alistair Macintosh Wilson
ISBN 13: 9780198539506
Format: Hardcover (540 pages) Publisher: OUP Oxford Published: 26 Oct 1995
Zariski Geometries: Geometry from the Logician's Point of View: 360 (London Mathematical Society Lecture Note Series, Series Number 360)
by Boris Zilber
ISBN 13: 9780521735605
Format: Paperback (224 pages) Publisher: Cambridge University Press Published: 28 Feb 2010
The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited
by Curtis Franks
ISBN 13: 9780521514378
Format: Illustrated (228 pages) Publisher: Cambridge University Press Published: 08 Oct 2009
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Logic, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
The Axiom of Choice (Dover Books on Mathematics)
by Thomas J Jech
ISBN 13: 9780486466248
Format: Illustrated (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009