Buy Used and New Mathematical Logic Books

The Frege Reader (Wiley Blackwell Readers)

by Michael Beaney

ISBN 13: 9780631194453

Format: Paperback (432 pages)
Publisher: Wiley-Blackwell
Published: 02 May 1997

Save for later

There's Something About Godel!: The Complete Guide to the Incompleteness Theorem

by Francesco Berto

ISBN 13: 9781405197670

Format: Paperback (254 pages)
Publisher: Wiley-Blackwell
Published: 06 Nov 2009
Other Format: Illustrated

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

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings: 5847 (Lecture Notes in Computer Science)

by Lalitha Devi Sobha, António Branco, Ruslan Mitkov

ISBN 13: 9783642049743

Format: Paperback (131 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

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

Save for later

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)

by Alexander Kurz,Marina Lenisa

ISBN 13: 9783642037405

Format: Paperback (472 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)

by Francesca Rossi, François Fages, Sylvain Soliman

ISBN 13: 9783540898115

Format: Paperback (159 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Categories for Types (Cambridge Mathematical Textbooks)

by Crole

ISBN 13: 9780521457019

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1994

Save for later

Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability (The MIT Press)

by Peter Pesic

ISBN 13: 9780262661829

Format: Illustrated (222 pages)
Publisher: MIT Press
Published: 02 Apr 2004

Save for later

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

by David Gray

ISBN 13: 9783540761402

Format: Paperback (476 pages)
Publisher: Springer-Verlag
Published: 01 Nov 1998

Save for later