Constructing Correct Software: The Basics (Formal Approaches to Computing and Information Technology (FACIT))
by John Cooke
ISBN 13: 9783540761563
Format: Paperback (395 pages) Publisher: Springer Published: 01 Apr 1999 Other Format: Paperback
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
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
Symbolic Logic and the Game of Logic (Dover Recreational Math)
by Lewis Carroll
ISBN 13: 9780486204925
Format: Paperback (335 pages) Publisher: Dover Publications Inc. Published: 02 Jan 2000
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
Maths Skills for Advanced Sciences
by Ken Price
ISBN 13: 9780199147403
Format: Paperback (96 pages) Publisher: OUP Oxford Published: 01 Jun 2000
Counting on Frameworks: Mathematics to Aid the Design of Rigid Structures (Dolciani Mathematical Expositions)
by Jack E. Graver
ISBN 13: 9780883853313
Format: Paperback (192 pages) Publisher: The Mathematical Association of America Published: 06 Sep 2001
Studying Mathematics and its Applications: 33 (Macmillan Study Skills)
by Peter Kahn
ISBN 13: 9780333922798
Format: Paperback (212 pages) Publisher: Palgrave Published: 31 Oct 2001
Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
by M. Ben-Ari
ISBN 13: 9780135641392
Format: Paperback (320 pages) Publisher: Prentice-Hall Published: 01 Oct 1992
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
Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Value-Based Metrics for Improving Results: An Enterprise Project Management Toolkit
by Mel Schnapper,Steven Rollins
ISBN 13: 9781932159257
Format: Hardcover (434 pages) Publisher: J Ross Publishing Published: 01 Jul 2005