Buy Used and New Mathematical Logic Books

To Mock a Mockingbird: And Other Logic Puzzles

by Raymond M. Smullyan

ISBN 13: 9780192860958

Format: Paperback (256 pages)
Publisher: Oxford Paperbacks
Published: Jan 1990

Save for later

Beginning Logic

by E.J. Lemmon

ISBN 13: 9780412380907

Format: Paperback (240 pages)
Publisher: Chapman and Hall/CRC
Published: 30 Sep 1971
Other Format: Paperback

Save for later

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

Save for later

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

Save for later

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

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

Save for later

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

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

Save for later

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)

by Shawn Hedman

ISBN 13: 9780198529811

Format: Illustrated (452 pages)
Publisher: OUP Oxford
Published: 08 Jul 2004

Save for later

Logical Foundations of Proof Complexity (Perspectives in Logic)

by Stephen Cook,Phuong Nguyen

ISBN 13: 9780521517294

Format: Illustrated (496 pages)
Publisher: Cambridge University Press
Published: 25 Jan 2010

Save for later

An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)

by Graham Priest

ISBN 13: 9780521670265

Format: Paperback (646 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2008

Save for later

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J. Roger Hindley

ISBN 13: 9780521465182

Format: Hardcover (200 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1997

Save for later