Buy Used and New Mathematical Foundations Books

Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)

by

ISBN 13: 9780521557368

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 11 Jan 1996

Save for later

Hyperfinite Dirichlet Forms and Stochastic Processes (Lecture Notes of the Unione Matematica Italiana)

by Sergio Albeverio, Ruzong Fan, Frederik Herzberg

ISBN 13: 9783642196584

Format: Paperback (298 pages)
Publisher: Springer
Published: 29 May 2011

Save for later

From Objects to Diagrams for Ranges of Functors (Lecture Notes in Mathematics)

by Pierre Gillibert, Friedrich Wehrung

ISBN 13: 9783642217739

Format: Paperback (168 pages)
Publisher: Springer
Published: 09 Jul 2011

Save for later

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

by Donald Gillies

ISBN 13: 9780415667098

Format: Hardcover (118 pages)
Publisher: Routledge
Published: 15 Apr 2011

Save for later

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides)

by John L. Bell

ISBN 13: 9780199609161

Format: Paperback (216 pages)
Publisher: OUP Oxford
Published: 05 May 2011

Save for later

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

by Katalin Bimbó

ISBN 13: 9781439800003

Format: Hardcover (357 pages)
Publisher: Chapman and Hall/CRC
Published: 19 Jul 2011

Save for later

Brouwer's Cambridge Lectures on Intuitionism

by Luitzen Egbertus Jan Brouwer

ISBN 13: 9780521177368

Format: Paperback (122 pages)
Publisher: Cambridge University Press
Published: 03 Mar 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

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

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