Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988
Save for later
An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
by N/A
ISBN 13: 9780521674539
Format: Paperback (376 pages) Publisher: Cambridge University Press Published: 26 Jul 2007
Frege: An Introduction to the Founder of Modern Analytic Philosophy (Penguin philosophy)
by Anthony Kenny
ISBN 13: 9780140125504
Format: Paperback (240 pages) Publisher: Penguin Published: 27 Apr 1995
Boolean Algebra and Its Applications (Dover Books on Mathematics)
by J.Eldon Whitesitt
ISBN 13: 9780486684833
Format: Paperback (192 pages) Publisher: Dover Publications Inc. Published: Apr 1995 Other Format: Illustrated
Stable Domination and Independence in Algebraically Closed Valued Fields (Lecture Notes in Logic)
by Deirdre Haskell,Ehud Hrushovski,Dugald Macpherson
ISBN 13: 9780521889810
Format: Hardcover (194 pages) Publisher: Cambridge University Press Published: 10 Dec 2007
Mathematical Proofs: A Transition to Advanced Mathematics
by Gary Chartrand,Albert D. Polimeni,Ping Zhang
ISBN 13: 9780321526731
Format: Paperback (384 pages) Publisher: Pearson Education Published: 01 Nov 2007
Proofs without Words II: v. 2 (Classroom Resource Materials)
by Roger B. Nelsen
ISBN 13: 9780883857212
Format: Paperback (142 pages) Publisher: The Mathematical Association of America Published: 07 Dec 2000
Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)
by M. Jason Hinek, Douglas R. Stinson
ISBN 13: 9781420075182
Format: Hardcover (272 pages) Publisher: Chapman & Hall Published: 21 Jul 2009
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
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
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
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