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
Save for later
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
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
The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities (MAA Problem Books)
by J. Michael Steele
ISBN 13: 9780521546775
Format: Illustrated (316 pages) Publisher: Cambridge University Press Published: 15 Jul 2004
Sketches of an Elephant: A Topos Theory Compendium: Volume 2: 44 (Oxford Logic Guides)
by Peter T. Johnstone
ISBN 13: 9780198515982
Format: Hardcover (716 pages) Publisher: Clarendon Press Published: 12 Sep 2002
Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics: 001 (Princeton Paperback)
by G. Polya
ISBN 13: 9780691025094
Format: Paperback (298 pages) Publisher: Princeton University Press Published: 03 Aug 1990
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
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007