Buy Used and New Mathematical Logic Books

Schaum's Outline of Set Theory and Related Topics

by Seymour Lipschutz

ISBN 13: 9780070381599

Format: Paperback (288 pages)
Publisher: McGraw Hill
Published: 01 Jan 1998

Save for later

Logic, Induction and Sets (London Mathematical Society Student Texts)

by Thomas Forster

ISBN 13: 9780521533614

Format: Paperback (246 pages)
Publisher: Cambridge University Press
Published: 25 Sep 2003

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

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

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

by

ISBN 13: 9783540784975

Format: Paperback (505 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers: 5196 ... Computer Science and General Issues)

by

ISBN 13: 9783540882817

Format: Paperback (500 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later

Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642130885

Format: Paperback (622 pages)
Publisher: Springer
Published: 10 May 2010

Save for later

Discrete Mathematics Using a Computer

by John O'Donnell,Cordelia Hall,Rex Page

ISBN 13: 9781846282416

Format: Paperback (441 pages)
Publisher: Springer
Published: 14 Aug 2006

Save for later

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540741275

Format: Paperback (185 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540680840

Format: Paperback (203 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Theoretical Introduction to Programming

by Bruce Ian Mills

ISBN 13: 9781846280214

Format: Paperback (358 pages)
Publisher: Springer
Published: 25 Oct 2005

Save for later

Advances in Geometric Modeling and Processing: 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540792451

Format: Paperback (606 pages)
Publisher: Springer
Published: 07 Apr 2008

Save for later