Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
by Chin-Liang Chang,Richard Char-Tung Lee
ISBN 13: 9780121703509
Format: Illustrated (331 pages) Publisher: Academic Press Published: 15 Jun 1973
Save for later
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
QED: Beauty in Mathematical Proof (Q.E.D.)
by Burkard Polster
ISBN 13: 9781904263500
Format: Paperback (64 pages) Publisher: Wooden Books Published: 01 Nov 2006
Ship Stability: Notes and Examples: Third Edition (Kemp & Young Series)
by P. Young
ISBN 13: 9780750648509
Format: Illustrated (184 pages) Publisher: Butterworth-Heinemann Published: 12 Dec 2000
First Look At Rigorous Probability Theory, A (2Nd Edition): Second Edition
by Jeffrey S Rosenthal
ISBN 13: 9789812703712
Format: Illustrated (236 pages) Publisher: WSPC Published: 14 Nov 2006
Geometry and Topology
by Miles Reid
ISBN 13: 9780521613255
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 10 Nov 2005
Number Book 4 (of 5): Key Stage 1, Years 1 & 2
by Schofield & Sims,Andrew Parker,Jane Stamford
ISBN 13: 9780721707914
Format: Paperback (31 pages) Publisher: Schofield & Sims Ltd Published: 01 Apr 2000
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
The Concepts and Practice of Mathematical Finance: 8 (Mathematics, Finance and Risk, Series Number 8)
by Mark S. Joshi
ISBN 13: 9780521514088
Format: Illustrated (558 pages) Publisher: Cambridge University Press Published: 30 Oct 2008
Kinetic Modelling in Systems Biology (Chapman & Hall/CRC Mathematical and Computational Biology)
by Oleg Demin, Igor Goryanin
ISBN 13: 9781584886679
Format: Hardcover (356 pages) Publisher: Chapman and Hall/CRC Published: 24 Oct 2008
Logic with Trees: An Introduction to Symbolic Logic
by Colin Howson
ISBN 13: 9780415133425
Format: Paperback (212 pages) Publisher: Routledge Published: 27 Feb 1997
Concepts of Modern Mathematics
by Ian Stewart
ISBN 13: 9780486284248
Format: Illustrated (352 pages) Publisher: Dover Publications Inc Published: 01 Feb 1995 Other Format: Paperback