Buy Used and New Mathematical Logic Books

State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, ... in Computer and Information Science)

by

ISBN 13: 9783642041303

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

Save for later

Elementary Logic: For Software Development

by Robert Lover

ISBN 13: 9781848000810

Format: Paperback (314 pages)
Publisher: Springer
Published: 01 Sep 2008

Save for later

Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)

by Guerino Mazzola,Gérard Milmeister,Jody Weissmann

ISBN 13: 9783540368731

Format: Paperback (388 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540738572

Format: Paperback (463 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642030918

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

Save for later

The Market Revolution: Jacksonian America 1815-1846: Jacksonian America, 1815-46

by Charles Sellers

ISBN 13: 9780195089202

Format: Paperback (512 pages)
Publisher: OUP USA
Published: 14 Jul 1994

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

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642048920

Format: Paperback (329 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

Format: Paperback (206 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

by Hunter

ISBN 13: 9780520023567

Format: Paperback (302 pages)
Publisher: University of California Press
Published: 01 Jul 1992

Save for later

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

by Richard W. Kaye

ISBN 13: 9780521708777

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 12 Jul 2007

Save for later

Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)

by Robert Goldblatt

ISBN 13: 9780937073940

Format: Paperback (180 pages)
Publisher: Cambridge University Press
Published: 01 Jun 1992

Save for later