Buy Used and New Mathematical Logic Books

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540666721

Format: Paperback (287 pages)
Publisher: Springer
Published: 13 Oct 1999

Save for later

Case-Based Reasoning Research and Development: 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540741381

Format: Paperback (534 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540797180

Format: Paperback (305 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later

Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540752707

Format: Paperback (280 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings: 5194 (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540859277

Format: Paperback (349 pages)
Publisher: Springer
Published: 05 Sep 2008

Save for later

Fixing Frege (Princeton Monographs in Philosophy)

by John P. Burgess

ISBN 13: 9780691122311

Format: Hardcover (272 pages)
Publisher: Princeton University Press
Published: 05 Jul 2005

Save for later

Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)

by Abraham Robinson

ISBN 13: 9780691044903

Format: Paperback (308 pages)
Publisher: Princeton University Press
Published: 08 Jan 1996

Save for later

From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)

by Henry Van Heigenoort

ISBN 13: 9780674324497

Format: Paperback (680 pages)
Publisher: Harvard University Press
Published: 01 Jul 1990

Save for later

Analysis: An Introduction

by Richard Beals

ISBN 13: 9780521600477

Format: Paperback (272 pages)
Publisher: Cambridge University Press
Published: 13 Sep 2004

Save for later

Computability In Context: Computation And Logic In The Real World

by Cooper S Barry et al

ISBN 13: 9781848162457

Format: Hardcover (420 pages)
Publisher: Imperial College Press
Published: 25 Apr 2011

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later