Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642048920
Format: Paperback (329 pages) Publisher: Springer Published: 23 Sep 2009
Save for later
Elementary Induction on Abstract Structures (Dover Books on Mathematics)
by Yiannis N Moschovakis
ISBN 13: 9780486466781
Format: Paperback (240 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Number System (Dover Books on Mathematics)
by H.A. Thurston
ISBN 13: 9780486458069
Format: Paperback (144 pages) Publisher: Dover Publications Inc. Published: 27 Apr 2007
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
Convex Sets and Their Applications
by Steven R. Lay
ISBN 13: 9780486458038
Format: Paperback (256 pages) Publisher: Dover Publications Inc. Published: 29 Jun 2007
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 Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521766814
Format: Hardcover (312 pages) Publisher: Cambridge University Press Published: 30 Aug 2010 Other Format: Paperback
Handbook of Automated Reasoning: Vol 1
ISBN 13: 9780444829498
Format: Hardcover (996 pages) Publisher: North Holland Published: 21 Jun 2001
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
Logic for Mathematicians
by J Barkley, JR. Rosser
ISBN 13: 9780486468983
Format: Paperback (592 pages) Publisher: Dover Publications Inc. Published: 27 Mar 2009
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335
by Mark van Atten
ISBN 13: 9781402050862
Format: Hardcover (206 pages) Publisher: Springer Published: 09 Nov 2006