Buy Used and New Mathematical Logic Books

A Course in Formal Languages, Automata and Groups (Universitext)

by Ian M. Chiswell

ISBN 13: 9781848009394

Format: Paperback (157 pages)
Publisher: Springer
Published: 06 Feb 2009

Save for later

Logic

by Wilfrid Hodges

ISBN 13: 9780141003146

Format: Paperback (304 pages)
Publisher: Penguin
Published: 29 Nov 2001

Save for later

Sets for Mathematics

by F. William Lawvere

ISBN 13: 9780521010603

Format: Paperback (276 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2003

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

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

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

Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science)

by Heiko Dörr

ISBN 13: 9783540600558

Format: Paperback (266 pages)
Publisher: Springer
Published: 14 Jul 1995

Save for later

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540278290

Format: Paperback (406 pages)
Publisher: Springer
Published: 08 Jul 2005

Save for later

Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540775027

Format: Paperback (227 pages)
Publisher: Springer
Published: 15 Jan 2008

Save for later

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540752554

Format: Paperback (914 pages)
Publisher: Springer
Published: 21 Sep 2007

Save for later

Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems)

by

ISBN 13: 9783540221005

Format: Paperback (294 pages)
Publisher: Springer
Published: 25 Aug 2004

Save for later

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642125911

Format: Paperback (215 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later