Buy Used and New Mathematical Logic Books

Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)

by Robert Goldblatt

ISBN 13: 9780937073940

Format: Paperback (180 pages)
Publisher: Cambridge University Press
Published: 01 Jun 1992

Save for later

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642017476

Format: Paperback (245 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)

by Jon Barwise,Lawrence Moss

ISBN 13: 9781575860084

Format: Paperback (390 pages)
Publisher: Cambridge University Press
Published: 13 Jul 1996

Save for later

The Law of Non-Contradiction: New Philosophical Essays

by

ISBN 13: 9780199204199

Format: Paperback (456 pages)
Publisher: Clarendon Press
Published: 30 Nov 2006

Save for later

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)

by David M. Bressoud

ISBN 13: 9780521666466

Format: Paperback (274 pages)
Publisher: Cambridge University Press
Published: 13 Aug 1999

Save for later

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton

ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II: Pt. 2 (Lecture Notes in Computer Science / Transactions on Rough Sets)

by

ISBN 13: 9783540716624

Format: Paperback (381 pages)
Publisher: Springer
Published: 17 Apr 2007

Save for later

Organized Crime: Culture, Markets and Policies (Studies of Organized Crime)

by

ISBN 13: 9780387097107

Format: Paperback (230 pages)
Publisher: Springer
Published: 14 Aug 2008

Save for later

Logic for Computer Scientists (Modern Birkhäuser Classics)

by Uwe Schöning

ISBN 13: 9780817647629

Format: Paperback (166 pages)
Publisher: Birkhauser
Published: 25 Jan 2008

Save for later

Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)

by Thom Frühwirth,Slim Abdennadher

ISBN 13: 9783540606703

Format: Paperback (176 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540442745

Format: Paperback (655 pages)
Publisher: Springer
Published: 25 Sep 2002

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later