Buy Used and New Mathematical Logic Books

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783540741046

Format: Hardcover (304 pages)
Publisher: Springer
Published: 23 May 2008

Save for later

Proofs without Words II: v. 2 (Classroom Resource Materials)

by Roger B. Nelsen

ISBN 13: 9780883857212

Format: Paperback (142 pages)
Publisher: The Mathematical Association of America
Published: 07 Dec 2000

Save for later

Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... 5734 (Lecture Notes in Computer Science)

by Rastislav Kralovic,Damian Niwinski

ISBN 13: 9783642038150

Format: Illustrated (780 pages)
Publisher: Springer
Published: 06 Aug 2009

Save for later

AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence, . ... 5883 (Lecture Notes in Computer Science)

by Roberto Serra, Rita Cucchiara

ISBN 13: 9783642102905

Format: Paperback (503 pages)
Publisher: Springer
Published: 30 Nov 2009

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

Argumentation in Artificial Intelligence

by

ISBN 13: 9780387981963

Format: Hardcover (504 pages)
Publisher: Springer
Published: 14 Jul 2009

Save for later

Finite Model Theory (Springer Monographs in Mathematics)

by Heinz-Dieter Ebbinghaus,Jörg Flum

ISBN 13: 9783540287872

Format: Hardcover (371 pages)
Publisher: Springer
Published: 06 Oct 2005

Save for later

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

by Alan P. Parkes

ISBN 13: 9781852334642

Format: Paperback (304 pages)
Publisher: Springer
Published: 26 Apr 2002

Save for later

The Incompleteness Phenomenon

by Martin Goldstern,Haim Judah

ISBN 13: 9781568810294

Format: Hardcover (218 pages)
Publisher: A K Peters/CRC Press
Published: 15 Jun 1995

Save for later

Working with Preferences: Less Is More (Cognitive Technologies)

by Souhila Kaci

ISBN 13: 9783642172793

Format: Hardcover (218 pages)
Publisher: Springer
Published: 19 Jun 2011

Save for later

Meaning, Logic and Ludics

by Alain Lecomte

ISBN 13: 9781848164567

Format: Hardcover (388 pages)
Publisher: Imperial College Press
Published: 30 Apr 2010

Save for later

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence)

by Radomir S. Stankovic,Jaakko Astola

ISBN 13: 9783642116810

Format: Hardcover (232 pages)
Publisher: Springer
Published: 05 Mar 2011

Save for later