Buy Used and New Mathematical Logic Books

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

Banach Spaces and Descriptive Set Theory: Selected Topics (Lecture Notes in Mathematics)

by Pandelis Dodos

ISBN 13: 9783642121524

Format: Paperback (170 pages)
Publisher: Springer
Published: 11 May 2010

Save for later

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, ... / Programming and Software Engineering)

by

ISBN 13: 9783540897774

Format: Paperback (227 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540852865

Format: Paperback (512 pages)
Publisher: Springer
Published: 13 Aug 2008

Save for later