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
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
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
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 Other Format: Paperback
2000 Solved Problems in Discrete Mathematics (SCHAUM)
by Seymour Lipschutz
ISBN 13: 9780070380318
Format: Paperback (432 pages) Publisher: McGraw Hill Published: 01 Jun 1990
Computability: An Introduction to Recursive Function Theory
by Nigel Cutland
ISBN 13: 9780521294652
Format: Illustrated (262 pages) Publisher: Cambridge University Press Published: 19 Jun 1980
Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)
by Mikhail J. Atallah, Marina Blanton
ISBN 13: 9781584888208
Format: Illustrated (950 pages) Publisher: Chapman and Hall/CRC Published: 20 Nov 2009
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
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