Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)
by John Harris,Jeffry L. Hirst,Michael Mossinghoff
ISBN 13: 9780387797106
Format: Illustrated (396 pages) Publisher: Springer Published: 04 Nov 2008
Save for later
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
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
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
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
by Ulrich Kohlenbach
ISBN 13: 9783540775324
Format: Hardcover (556 pages) Publisher: Springer Published: 26 May 2008
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007
Computability Theory: An Introduction to Recursion Theory
by Herbert B. Enderton
ISBN 13: 9780123849588
Format: Hardcover (192 pages) Publisher: Academic Press Published: 30 Dec 2010
Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), ... 9-17, 1968 (C.I.M.E. Summer Schools)
by
ISBN 13: 9783642110788
Format: Paperback (285 pages) Publisher: Springer Published: 30 Nov 2010
Gentzen Calculi for Modal Propositional Logic (Trends in Logic)
by Francesca Poggiolesi
ISBN 13: 9789048196692
Format: Hardcover (222 pages) Publisher: Springer Published: 02 Dec 2010
Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))
ISBN 13: 9781904987291
Format: Paperback (300 pages) Publisher: College Publications Published: 05 Dec 2006