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
Save for later
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)
by
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
Handbook of Combinatorial Designs (Discrete Mathematics and Its Applications)
ISBN 13: 9781584885061
Format: Hardcover (1016 pages) Publisher: Chapman and Hall/CRC Published: 02 Nov 2006
Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)
by Robert Goldblatt
ISBN 13: 9780937073940
Format: Paperback (180 pages) Publisher: Cambridge University Press Published: 01 Jun 1992
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642006586
Format: Paperback (269 pages) Publisher: Springer Published: 22 Apr 2009
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642023477
Format: Paperback (391 pages) Publisher: Springer Published: 09 Jun 2009
Giuseppe Peano between Mathematics and Logic: Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his ... Mathematico Torino (Italy) October 2-3, 2008
ISBN 13: 9788847018358
Format: Paperback (190 pages) Publisher: Springer Published: 23 Dec 2010
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise,Lawrence Moss
ISBN 13: 9781575860084
Format: Paperback (390 pages) Publisher: Cambridge University Press Published: 13 Jul 1996
Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981 (Lecture Notes in Mathematics)
ISBN 13: 9783540119616
Format: Paperback (322 pages) Publisher: Springer Published: 01 Dec 1982