Buy Used and New Mathematical Foundations Books

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

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman

ISBN 13: 9780444520128

Format: Illustrated (640 pages)
Publisher: Elsevier Science
Published: 09 Jun 2009

Save for later

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)

by Andrea Corradini, Ugo Montanari

ISBN 13: 9783642034282

Format: Paperback (352 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Control Theoretic Splines: Optimal Control, Statistics, and Path Planning: 31 (Princeton Series in Applied Mathematics)

by Magnus Egerstedt,Clyde Martin

ISBN 13: 9780691132969

Format: Hardcover (232 pages)
Publisher: Princeton University Press
Published: 27 Dec 2009

Save for later

Classic Set Theory (Chapman & Hall Mathematics S)

by D.C. Goldrei

ISBN 13: 9780412606106

Format: Paperback (296 pages)
Publisher: Routledge
Published: 01 Jul 1996

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Hardcover

Save for later

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

by W. Bibel, P.H. Schmitt

ISBN 13: 9780792351306

Format: Hardcover (448 pages)
Publisher: Springer
Published: 30 Jun 1998
Other Format: Hardcover, Illustrated

Save for later

Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)

by Bernd Sturmfels,Peter Paule

ISBN 13: 9783211774168

Format: Illustrated (204 pages)
Publisher: Springer
Published: 28 Apr 2008

Save for later

Introductory Mathematics: Applications and Methods (Springer Undergraduate Mathematics Series)

by Gordon S. Marshall

ISBN 13: 9783540761792

Format: Illustrated (240 pages)
Publisher: Springer
Published: 28 Apr 1998

Save for later

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

Save for later