Buy Used and New Mathematical Logic Books

Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings ... Computer Science / Security and Cryptology)

by Bimal Roy, Nicolas Sendrier

ISBN 13: 9783642106279

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

Save for later

A Concise Introduction to Mathematical Logic (Universitext)

by Wolfgang Rautenberg

ISBN 13: 9781441912206

Format: Illustrated (342 pages)
Publisher: Springer
Published: 17 Dec 2009

Save for later

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)

by Eerke A. Boiten,Bernhard Möller

ISBN 13: 9783540438571

Format: Paperback (273 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)

by Jacob Lurie

ISBN 13: 9780691140490

Format: Paperback (944 pages)
Publisher: Princeton University Press
Published: 06 Jul 2009

Save for later

Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings: 5847 (Lecture Notes in Computer Science)

by Lalitha Devi Sobha, António Branco, Ruslan Mitkov

ISBN 13: 9783642049743

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

Save for later

Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

by Wilfrid Hodges

ISBN 13: 9780521066365

Format: Illustrated (788 pages)
Publisher: Cambridge University Press
Published: 19 Jun 2008

Save for later

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)

by Alexander Kurz,Marina Lenisa

ISBN 13: 9783642037405

Format: Paperback (472 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)

by Francesca Rossi, François Fages, Sylvain Soliman

ISBN 13: 9783540898115

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

Save for later

Categories for Types (Cambridge Mathematical Textbooks)

by Crole

ISBN 13: 9780521457019

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1994

Save for later

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

by David Gray

ISBN 13: 9783540761402

Format: Paperback (476 pages)
Publisher: Springer-Verlag
Published: 01 Nov 1998

Save for later

Transactions on Rough Sets X (Lecture Notes in Computer Science / Transactions on Rough Sets): 5656

by James F. Peters

ISBN 13: 9783642032806

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Aug 2009

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783540926863

Format: Paperback (469 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later