Buy Used and New Mathematical Logic Books

Labelled Deductive Systems: Volume 1: Vol 1 (Oxford Logic Guides)

by Dov M. Gabbay

ISBN 13: 9780198538332

Format: Hardcover (512 pages)
Publisher: Clarendon Press
Published: 05 Sep 1996

Save for later

Logical Reasoning with Diagrams (Studies in Logic and Computation)

by Gerard Allwein,Jon Barwise

ISBN 13: 9780195104271

Format: Hardcover (288 pages)
Publisher: OUP USA
Published: 18 Jul 1996

Save for later

Super-Real Fields: Totally Ordered Fields with Additional Structure (London Mathematical Society Monographs)

by H. Garth Dales,W. Hugh Woodin

ISBN 13: 9780198539919

Format: Hardcover (376 pages)
Publisher: Clarendon Press
Published: 16 May 1996

Save for later

Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)

by Dov M Gabbay,M. Finger,M. Reynolds

ISBN 13: 9780198537687

Format: Hardcover (597 pages)
Publisher: OUP Oxford
Published: 30 Mar 2000

Save for later

Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)

by

ISBN 13: 9781420059816

Format: Hardcover (631 pages)
Publisher: Chapman and Hall/CRC
Published: 09 Aug 2010

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642005954

Format: Paperback (471 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540633983

Format: Paperback (425 pages)
Publisher: Springer
Published: 13 Aug 1997

Save for later

Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800

by Kurt Jensen

ISBN 13: 9783642048548

Format: Paperback (296 pages)
Publisher: Springer
Published: 11 Nov 2009

Save for later

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers

ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

Save for later