Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Save for later
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
by
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004
First Steps in Modal Logic
by Sally Popkorn
ISBN 13: 9780521057936
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 28 Jan 2008
Foundations of the Formal Sciences: Infinite Games v. 5
ISBN 13: 9781904987758
Format: Paperback (368 pages) Publisher: College Publications Published: 19 Dec 2007
We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2
by S Artemov,H. Barringer,A. S. d'Avila Garcez,L. C. Lamb,J. Woods
ISBN 13: 9781904987123
Format: Paperback (812 pages) Publisher: College Publications Published: 26 Oct 2005
Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)
ISBN 13: 9781420059816
Format: Hardcover (631 pages) Publisher: Chapman and Hall/CRC Published: 09 Aug 2010
Transactions on Rough Sets IX (Lecture Notes in Computer Science)
by James F. Peters, Andrzej Skowron, Henryk Rybinski
ISBN 13: 9783540898757
Format: Paperback (751 pages) Publisher: Springer Published: 18 Dec 2008
Descartes' Error: Emotion, Reason, and the Human Brain
by Antonio R Damasio
ISBN 13: 9780143036227
Format: Illustrated (312 pages) Publisher: Penguin Group Published: 27 Sep 2005 Other Format: paperback
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)
by Manuel Carro,Ricardo Peña
ISBN 13: 9783642115028
Format: Illustrated (297 pages) Publisher: Springer Published: 12 Jan 2010
Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996
Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures: 5832 (Lecture Notes in Computer Science)
by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra
ISBN 13: 9783642046513
Format: Paperback (331 pages) Publisher: Springer Published: 23 Sep 2009