Buy Used and New Mathematical Foundations Books

Piano-hinged Dissections: Time to Fold!

by Greg N. Frederickson

ISBN 13: 9781568812991

Format: Hardcover (320 pages)
Publisher: A K Peters/CRC Press
Published: 30 Nov 2006

Save for later

Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science)

by

ISBN 13: 9789400704305

Format: Hardcover (325 pages)
Publisher: Springer
Published: 26 Mar 2011

Save for later

Logic in Elementary Mathematics

by Robert M. Exner,Myron F. Rosskopf

ISBN 13: 9780486482217

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 16 Jun 2011

Save for later

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642216909

Format: Paperback (257 pages)
Publisher: Springer
Published: 23 May 2011

Save for later

Inductive Logic (Handbook of the History of Logic)

by

ISBN 13: 9780444529367

Format: Hardcover (800 pages)
Publisher: North Holland
Published: 20 May 2010

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

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