Buy Used and New Mathematical Logic Books

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

Schaum's Outline of Boolean Algebra and Switching Circuits

by Elliott Mendelson

ISBN 13: 9780070414600

Format: Paperback (224 pages)
Publisher: McGraw Hill
Published: 16 Jan 1970

Save for later

Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888

by Juan A. Garay, Atsuko Miyaji, Akira Otsuka

ISBN 13: 9783642104329

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

Save for later

Cellular Automata: A Discrete View of the World: 45 (Wiley Series in Discrete Mathematics & Optimization)

by Joel L. Schiff

ISBN 13: 9780470168790

Format: Hardcover (280 pages)
Publisher: Wiley-Interscience
Published: 08 Feb 2008

Save for later

A.I. 2009: Advances in Artificial Intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings: 5866 (Lecture Notes in Computer Science)

by Ann Nicholson

ISBN 13: 9783642104381

Format: Paperback (708 pages)
Publisher: Springer
Published: 09 Nov 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

Collected Works: Publications 1929-1936 (Collected Works of Kurt Godel)

by Kurt Godel,Solomon Feferman,John W. Dawson

ISBN 13: 9780195039641

Format: Illustrated (504 pages)
Publisher: Oxford University Press
Published: 01 Jan 1986

Save for later

A Set Theory Workbook

by Iain Adamson

ISBN 13: 9780817640286

Format: Paperback (164 pages)
Publisher: Birkhäuser
Published: 18 Dec 1997

Save for later

Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ... 5605 (Lecture Notes in Computer Science)

by John-Jules Charles Meyer, Jan M. Broersen

ISBN 13: 9783642053009

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

Save for later