Buy Used and New Mathematical Logic Books

Theories of Computability

by Nicholas Pippenger

ISBN 13: 9780521153430

Format: Paperback (264 pages)
Publisher: Cambridge University Press
Published: 10 Jun 2010

Save for later

Classical Mathematical Logic: The Semantic Foundations of Logic

by Richard L. Epstein

ISBN 13: 9780691123004

Format: Hardcover (544 pages)
Publisher: Princeton University Press
Published: 03 Jul 2006

Save for later

Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic)

by Torkel Franzén

ISBN 13: 9781568811758

Format: Paperback (300 pages)
Publisher: A K Peters/CRC Press
Published: 02 Sep 2004

Save for later

Studies in Weak Arithmetics (CSLI Lecture Notes)

by Patrick Cegielski

ISBN 13: 9781575866024

Format: Paperback (221 pages)
Publisher: University of Chicago Press
Published: 10 Aug 2010

Save for later

Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642030789

Format: Paperback (321 pages)
Publisher: Springer
Published: 10 Jul 2009

Save for later

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642048920

Format: Paperback (329 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

Format: Paperback (206 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and ... 5056 (Lecture Notes in Computer Science)

by Fariba Sadri

ISBN 13: 9783540888321

Format: Paperback (312 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later

Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / . . ... incl. Internet/Web, and HCI): 5070

by Malgorzata Marciniak

ISBN 13: 9783642047343

Format: Paperback (464 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later