Buy Used and New Mathematical Logic Books

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

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck

ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

Save for later

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9780857291202

Format: Paperback (203 pages)
Publisher: Springer
Published: 14 Jan 2011

Save for later

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540899815

Format: Paperback (844 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

by Zofia Adamowicz,Pawel Zbierski

ISBN 13: 9780471060260

Format: Hardcover (272 pages)
Publisher: Wiley-Blackwell
Published: 07 Apr 1997

Save for later

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

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

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

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

Intro to Computer Theory 2e

by Daniel I. A. Cohen

ISBN 13: 9780471137726

Format: Paperback (646 pages)
Publisher: John Wiley & Sons
Published: 27 Nov 1996

Save for later

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)

by Karin Breitman

ISBN 13: 9783642103728

Format: Paperback (776 pages)
Publisher: Springer
Published: 17 Nov 2009

Save for later

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

Save for later