Buy Used and New Mathematical Logic Books

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)

by Jerzy Tiuryn

ISBN 13: 9783540672579

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Apr 2000

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

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)

by Chitta Baral,Gerhard Brewka,John Schlipf

ISBN 13: 9783540721994

Format: Paperback (344 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Set Theory and its Philosophy: A Critical Introduction

by Michael Potter

ISBN 13: 9780199270415

Format: Illustrated (360 pages)
Publisher: Oxford University Press, U.S.A.
Published: 13 Apr 2006

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

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

Foundations and Fundamental Concepts of Mathematics (Dover Books on MaTHEMA 1.4tics)

by Howard Eves

ISBN 13: 9780486696096

Format: Illustrated (368 pages)
Publisher: Dover Publications Inc
Published: 21 Sep 1997

Save for later

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

Save for later

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

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

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