Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
Save for later
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 Other Format: Paperback
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
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
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
Codes and Automata: 129 (Encyclopedia of Mathematics and its Applications, Series Number 129)
by Jean Berstel,Dominique Perrin,Christophe Reutenauer
ISBN 13: 9780521888318
Format: Illustrated (634 pages) Publisher: Cambridge University Press Published: 05 Nov 2009
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
by Yoav Shoham,Kevin Leyton-Brown
ISBN 13: 9780521899437
Format: Illustrated (504 pages) Publisher: Cambridge University Press Published: 15 Dec 2008
Weaving Self-Evidence: A Sociology of Logic: 13 (Princeton Studies in Cultural Sociology)
by Claude Rosental,Catherine Porter
ISBN 13: 9780691139401
Format: Paperback (310 pages) Publisher: Princeton University Press Published: 14 Apr 2015
Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988