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
Save for later
Mathematical Logic
by Joseph R. Shoenfield
ISBN 13: 9781568811352
Format: Paperback (352 pages) Publisher: Routledge Published: 01 Jan 2001
Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Logic
by Wilfrid Hodges
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001 Other Format: Paperback
A Course in Formal Languages, Automata and Groups (Universitext)
by Ian M. Chiswell
ISBN 13: 9781848009394
Format: Paperback (157 pages) Publisher: Springer Published: 06 Feb 2009
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009
Conceptual Mathematics: A First Introduction to Categories
ISBN 13: 9780521719162
Format: Paperback (408 pages) Publisher: Cambridge University Press Published: 26 Oct 2011
Handbook of Combinatorial Designs (Discrete Mathematics and Its Applications)
by
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