Buy Used and New Mathematical Logic Books

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

Additive Cellular Automata Vol 1: Theory and Applications (Practitioners)

by Parimal Pal Chaudhuri

ISBN 13: 9780818677175

Format: Illustrated (368 pages)
Publisher: John Wiley & Sons
Published: 27 Jun 1997

Save for later

Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)

by Jan Krajíek

ISBN 13: 9780521154338

Format: Paperback (264 pages)
Publisher: Cambridge University Press
Published: 23 Dec 2010

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Contributions to the Science of Text and Language: Word Length Studies and Related Issues (Text, Speech and Language Technology)

by

ISBN 13: 9781402040696

Format: Paperback (352 pages)
Publisher: Springer
Published: 18 Oct 2007

Save for later