Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Save for later
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)
by
ISBN 13: 9783642040269
Format: Paperback (567 pages) Publisher: Springer Published: 28 Aug 2009
The Market Revolution: Jacksonian America 1815-1846: Jacksonian America, 1815-46
by Charles Sellers
ISBN 13: 9780195089202
Format: Paperback (512 pages) Publisher: OUP USA Published: 14 Jul 1994
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Applied Numerical Methods for Engineers
by Terrence J. Akai
ISBN 13: 9780471575238
Format: Paperback (410 pages) Publisher: John Wiley & Sons Published: 11 Mar 1994
Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics): After 25 Years
by W. W Bledsoe,Donald W. Loveland
ISBN 13: 9780821850275
Format: Paperback (360 pages) Publisher: American Mathematical Society Published: 15 Dec 1984
Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642029615
Format: Paperback (709 pages) Publisher: Springer Published: 24 Jun 2009
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642048920
Format: Paperback (329 pages) Publisher: Springer Published: 23 Sep 2009
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
by Hunter
ISBN 13: 9780520023567
Format: Paperback (302 pages) Publisher: University of California Press Published: 01 Jul 1992
Lectures on the Foundations of Mathematics 1939: Cambridge
by Wittgenstein
ISBN 13: 9780226904269
Format: Paperback (300 pages) Publisher: University of Chicago Press Published: 01 Oct 1989
From the Calculus to Set Theory 1630-1910: An Introductory History (Princeton Paperbacks)
ISBN 13: 9780691070827
Format: Paperback (306 pages) Publisher: Princeton University Press Published: 20 Nov 2000
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
by Richard W. Kaye
ISBN 13: 9780521708777
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 12 Jul 2007