Buy Used and New Mathematical Foundations Books

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)

by Walter Carnielli,Marcelo Coniglio,Dov M. Gabbay,Paula Gouveia,Cristina Sernadas

ISBN 13: 9781402067815

Format: Hardcover (620 pages)
Publisher: Springer
Published: 04 Feb 2008

Save for later

Type-2 Fuzzy Logic: Theory and Applications (Studies in Fuzziness and Soft Computing)

by Oscar Castillo,Patricia Melin

ISBN 13: 9783540762836

Format: Hardcover (244 pages)
Publisher: Springer
Published: 20 Feb 2008

Save for later

AUTOMATA, FORMAL LANGUAGES AND ALGEBRAIC SYSTEMS - PROCEEDINGS OF AFLAS 2008

by ITO MASAMI ET AL

ISBN 13: 9789814317603

Format: Hardcover (248 pages)
Publisher: World Scientific Press
Published: 24 Nov 2010

Save for later

A Course of Modern Analysis

by E. T. Whittaker

ISBN 13: 9781438528151

Format: Paperback (620 pages)
Publisher: Book Jungle
Published: 04 Nov 2009

Save for later

Incompleteness in the Land of Sets (Studies in Logic)

by M. Fitting

ISBN 13: 9781904987345

Format: Paperback (156 pages)
Publisher: College Publications
Published: 19 Feb 2007

Save for later

Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987291

Format: Paperback (300 pages)
Publisher: College Publications
Published: 05 Dec 2006

Save for later

Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic)

by Andrzej Indrzejczak

ISBN 13: 9789048187843

Format: Hardcover (514 pages)
Publisher: Springer
Published: 11 Jun 2010

Save for later

An Investigation of the Laws of Thought

by George Boole

ISBN 13: 9781603863155

Format: Paperback (336 pages)
Publisher: Rough Draft Printing
Published: 02 Apr 2010

Save for later

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)

by Thomas Eiter,Leonid Libkin

ISBN 13: 9783540242888

Format: Paperback (424 pages)
Publisher: Springer
Published: 16 Dec 2004

Save for later

Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)

by M. Jason Hinek, Douglas R. Stinson

ISBN 13: 9781420075182

Format: Hardcover (272 pages)
Publisher: Chapman & Hall
Published: 21 Jul 2009

Save for later

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

by Wolfgang Bibel,P.H. Schmitt

ISBN 13: 9780792351290

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

Save for later

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)

by

ISBN 13: 9781402050114

Format: Hardcover (360 pages)
Publisher: Springer
Published: 04 Oct 2006

Save for later