Buy Used and New Mathematical Foundations Books

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

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

Approximation Algorithms for Complex Systems: Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st ... 2009 (Springer Proceedings in Mathematics)

by

ISBN 13: 9783642168758

Format: Hardcover (317 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later

Methods of Cut-Elimination (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400703193

Format: Hardcover (293 pages)
Publisher: Springer
Published: 17 Jan 2011

Save for later

Inconsistent Geometry

by Chris Mortensen

ISBN 13: 9781848900226

Format: Paperback (174 pages)
Publisher: College Publications
Published: 15 Oct 2010

Save for later

Multi-Criteria Decision Making Methods: A Comparative Study (Applied Optimization)

by Evangelos Triantaphyllou

ISBN 13: 9781441948380

Format: Paperback (324 pages)
Publisher: Springer
Published: 08 Dec 2010

Save for later

Discrete Structures with Contemporary Applications

by Alexander Stanoyevitch

ISBN 13: 9781439817681

Format: Hardcover (1002 pages)
Publisher: Chapman and Hall/CRC
Published: 25 Jan 2011

Save for later

Combinatorial Games: Tic-Tac-Toe Theory (Encyclopedia of Mathematics and its Applications)

by József Beck

ISBN 13: 9780521184755

Format: Paperback (750 pages)
Publisher: Cambridge University Press
Published: 28 Apr 2011
Other Format: Illustrated

Save for later

Classical Recursion Theory, Volume II: Vol 2 (Studies in Logic and the Foundations of Mathematics)

by P. Odifreddi

ISBN 13: 9780444502056

Format: Hardcover (966 pages)
Publisher: North Holland
Published: 07 Sep 1999

Save for later

Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications)

by Yves Crama,Peter L. Hammer

ISBN 13: 9780521847513

Format: Hardcover (706 pages)
Publisher: Cambridge University Press
Published: 16 May 2011
Other Format: Hardcover

Save for later