Buy Used and New Mathematical Foundations Books

Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics)

by J. Adámek,J. Rosický,E. M. Vitale

ISBN 13: 9780521119221

Format: Hardcover (268 pages)
Publisher: Cambridge University Press
Published: 18 Nov 2010

Save for later

Mathematische Logik, kurzgefaßt.: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre

by Hans P. Tuschik,Helmut Wolter

ISBN 13: 9783827413871

Format: Paperback (224 pages)
Publisher: Spektrum Akademischer Verlag
Published: 31 Oct 2002

Save for later

Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)

by Abraham Robinson

ISBN 13: 9780691044903

Format: Paperback (308 pages)
Publisher: Princeton University Press
Published: 08 Jan 1996

Save for later

Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory

by G B Keene

ISBN 13: 9780486462493

Format: Paperback (112 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Modal Logic: An Introduction to its Syntax and Semantics

by Nino B. Cocchiarella,Max A. Freund

ISBN 13: 9780195366570

Format: Paperback (288 pages)
Publisher: OUP USA
Published: 14 Aug 2008

Save for later

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