Buy Used and New Mathematical Logic Books

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008

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

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

Theories of Computability

by Nicholas Pippenger

ISBN 13: 9780521153430

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

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

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)

by Gheorghe Paun

ISBN 13: 9783642114663

Format: Illustrated (500 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later

Perspectives in Computation (Chicago Lectures in Physics)

by Robert Geroch

ISBN 13: 9780226288550

Format: Paperback (206 pages)
Publisher: University of Chicago Press
Published: 18 Sep 2009

Save for later

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

by Patrick Blackburn

ISBN 13: 9780521527149

Format: Illustrated (578 pages)
Publisher: Cambridge University Press
Published: 22 Aug 2002

Save for later

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)

by Anupam Datta

ISBN 13: 9783642106217

Format: Paperback (159 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)

by Andrea Corradini, Ugo Montanari

ISBN 13: 9783642034282

Format: Paperback (352 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

mural: A Formal Development Support System: A Formal Development Support System

by C.B. Jones,B. Ritchie A.C.

ISBN 13: 9783540196518

Format: Illustrated (440 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later