Buy Used and New Mathematical Logic Books

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642197536

Format: Paperback (275 pages)
Publisher: Springer
Published: 14 Mar 2011

Save for later

Logical Dilemmas: The Life and Work of Kurt Godel

by John Dawson

ISBN 13: 9781568812564

Format: Paperback (376 pages)
Publisher: A K Peters/CRC Press
Published: 06 Jun 2005

Save for later

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)

by Thomas Eiter,Leonid Libkin

ISBN 13: 9783540242888

Format: Paperback (424 pages)
Publisher: Springer
Published: 16 Dec 2004

Save for later

Modelling Differentl Difference Equ: 10 (Australian Mathematical Society Lecture Series, Series Number 10)

by Fulford/Forrester/Jones

ISBN 13: 9780521446181

Format: Paperback (416 pages)
Publisher: Cambridge University Press
Published: 12 Jan 2008

Save for later

Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)

by Gregory Cherlin, Ehud Hrushovski

ISBN 13: 9780691113326

Format: Paperback (200 pages)
Publisher: Princeton University Press
Published: 23 Dec 2002

Save for later

Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)

by Despina A. Stylianou,Maria L. Blanton,Eric J. Knuth

ISBN 13: 9780415989848

Format: Illustrated (408 pages)
Publisher: Routledge
Published: 05 Mar 2009

Save for later

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann

ISBN 13: 9780521707572

Format: Illustrated (342 pages)
Publisher: Cambridge University Press
Published: 24 Apr 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

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

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

Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)

by Alexander Gelbukh

ISBN 13: 9783642003813

Format: Paperback (604 pages)
Publisher: Springer
Published: 16 Feb 2009

Save for later

Principles of Applied Mathematics (Advanced Book Program)

by James P. Keener

ISBN 13: 9780738201290

Format: Hardcover (624 pages)
Publisher: CRC Press
Published: 14 Jan 2000

Save for later