Buy Used and New Mathematical Logic Books

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008
Other Format: Hardcover

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

by George R. R. Exner

ISBN 13: 9780387946177

Format: Illustrated (224 pages)
Publisher: Springer
Published: 22 Jun 1999

Save for later

Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)

by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster

ISBN 13: 9780521149341

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

by

ISBN 13: 9783540222613

Format: Paperback (857 pages)
Publisher: Springer
Published: 14 Jun 2004

Save for later

Models and Games (Cambridge Studies in Advanced Mathematics)

by Jouko Väänänen

ISBN 13: 9780521518123

Format: Hardcover (380 pages)
Publisher: Cambridge University Press
Published: 05 May 2011

Save for later

Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)

by Tamás Horváth,Akihiro Yamamoto

ISBN 13: 9783540201441

Format: Paperback (416 pages)
Publisher: Springer
Published: 24 Sep 2003

Save for later

Logic in Elementary Mathematics

by Robert M. Exner,Myron F. Rosskopf

ISBN 13: 9780486482217

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 16 Jun 2011

Save for later

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications)

by Yves Crama,Peter L. Hammer

ISBN 13: 9780521847513

Format: Hardcover (706 pages)
Publisher: Cambridge University Press
Published: 16 May 2011
Other Format: Hardcover

Save for later