Buy Used and New Mathematical Logic Books

Principles of Applied Mathematics (Advanced Book Program)

by James P. Keener

ISBN 13: 9780738201290

Format: Hardcover (624 pages)
Publisher: CRC Press
Published: 14 Jan 2000

Save for later

Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)

by Alexander Gelbukh

ISBN 13: 9783642003813

Format: Paperback (604 pages)
Publisher: Springer
Published: 16 Feb 2009

Save for later

An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)

by Graham Priest

ISBN 13: 9780521670265

Format: Paperback (646 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2008

Save for later

Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)

by Ross Street

ISBN 13: 9780521695244

Format: Illustrated (160 pages)
Publisher: Cambridge University Press
Published: 18 Jan 2007

Save for later

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

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

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)

by R. Ramanujam

ISBN 13: 9783540927006

Format: Paperback (280 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)

by D.L. Johnson

ISBN 13: 9783540761235

Format: Paperback (198 pages)
Publisher: Springer
Published: 27 Feb 1998

Save for later

Essential Logic: Basic Reasoning Skills for the Twenty-First Century

by Ronald C. Pine

ISBN 13: 9780195155051

Format: Paperback (432 pages)
Publisher: Oxford University Press, USA
Published: 05 Oct 1995

Save for later

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)

by Olaf Owe, Stein Krogdahl, Tom Lyche

ISBN 13: 9783540213666

Format: Illustrated (404 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later