Buy Used and New Mathematical Foundations 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

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

The Big Shrink

by SACKS GERALD E

ISBN 13: 9789812833815

Format: Illustrated (220 pages)
Publisher: World Scientific Publishing
Published: 02 Dec 2009

Save for later

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series)

by Metcalfe

ISBN 13: 9781402094088

Format: Hardcover (288 pages)
Publisher: Springer
Published: 16 Dec 2008

Save for later

Logical Labyrinths

by Raymond Smullyan

ISBN 13: 9781568814438

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

Save for later

Conceptual Mathematics: A First Introduction to Categories

by F. William Lawvere

ISBN 13: 9780521719162

Format: Paperback (408 pages)
Publisher: Cambridge University Press
Published: 26 Oct 2011

Save for later

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

Format: Illustrated (777 pages)
Publisher: Basic Books
Published: 15 Jan 1999

Save for later

Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)

by Sten Lindström,Erik Palmgren,Krister Segerberg

ISBN 13: 9781402089251

Format: Illustrated (528 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Computability: An Introduction to Recursive Function Theory

by Nigel Cutland

ISBN 13: 9780521294652

Format: Illustrated (262 pages)
Publisher: Cambridge University Press
Published: 19 Jun 1980

Save for later

Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)

by Paul J Cohen,Martin Davis

ISBN 13: 9780486469218

Format: Illustrated (192 pages)
Publisher: Dover Publications Inc.
Published: 27 Feb 2009

Save for later

Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)

by Mikhail J. Atallah, Marina Blanton

ISBN 13: 9781584888208

Format: Illustrated (950 pages)
Publisher: Chapman and Hall/CRC
Published: 20 Nov 2009

Save for later

Logic from Russell to Church: 5 (Handbook of the History of Logic)

by Gabbay

ISBN 13: 9780444516206

Format: Hardcover (950 pages)
Publisher: North Holland
Published: 17 Jun 2009

Save for later