An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
by Peter J. Eccles
ISBN 13: 9780521597180
Format: Paperback (362 pages) Publisher: Cambridge University Press Published: 11 Dec 1997
Save for later
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009
LMS: 43 Graphs, Codes & Designs (London Mathematical Society Lecture Note Series, Series Number 43)
by P. J. Cameron
ISBN 13: 9780521231411
Format: Paperback (156 pages) Publisher: Cambridge University Press Published: 31 Jul 1980
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996
Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Algorithmic Composition: Paradigms of Automated Music Generation
by Gerhard Nierhaus
ISBN 13: 9783211755396
Format: Hardcover (297 pages) Publisher: Springer Published: 05 Nov 2008
Computability of Julia Sets: Preliminary Entry 23 (Algorithms and Computation in Mathematics)
by Mark Braverman,Michael Yampolsky
ISBN 13: 9783540685463
Format: Illustrated (168 pages) Publisher: Springer Published: 26 Nov 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
LMS: 108 Some Topics in Graph Thry (London Mathematical Society Lecture Note Series, Series Number 108)
by Hian Poh Yap
ISBN 13: 9780521339445
Format: Paperback (240 pages) Publisher: Cambridge University Press Published: 21 Aug 2008
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
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521707572
Format: Illustrated (342 pages) Publisher: Cambridge University Press Published: 24 Apr 2008 Other Format: Hardcover