Buy Used and New Mathematical Logic Books

Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540291725

Format: Paperback (1052 pages)
Publisher: Springer
Published: 30 Sep 2005

Save for later

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead: 21st International Conference, ICCPOL 2006, Singapore, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540496670

Format: Paperback (561 pages)
Publisher: Springer
Published: 27 Nov 2006

Save for later

Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540759881

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

Save for later

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