Development of Modern Logic
by Leila Haaparanta
ISBN 13: 9780195137316
Format: Hardcover (1006 pages) Publisher: OUP US Published: 01 Jun 2009
Save for later
Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Mathematical Logic
by Joseph R. Shoenfield
ISBN 13: 9781568811352
Format: Paperback (352 pages) Publisher: Routledge Published: 01 Jan 2001
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)
by Karin Breitman
ISBN 13: 9783642103728
Format: Paperback (776 pages) Publisher: Springer Published: 17 Nov 2009
Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings: 5847 (Lecture Notes in Computer Science)
by Lalitha Devi Sobha, António Branco, Ruslan Mitkov
ISBN 13: 9783642049743
Format: Paperback (131 pages) Publisher: Springer Published: 26 Oct 2009
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)
by Alexander Kurz,Marina Lenisa
ISBN 13: 9783642037405
Format: Paperback (472 pages) Publisher: Springer Published: 28 Aug 2009
Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)
by Francesca Rossi, François Fages, Sylvain Soliman
ISBN 13: 9783540898115
Format: Paperback (159 pages) Publisher: Springer Published: 01 Dec 2008
Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
by David Gray
ISBN 13: 9783540761402
Format: Paperback (476 pages) Publisher: Springer-Verlag Published: 01 Nov 1998
Transactions on Rough Sets X (Lecture Notes in Computer Science / Transactions on Rough Sets): 5656
by James F. Peters
ISBN 13: 9783642032806
Format: Paperback (288 pages) Publisher: Springer Published: 04 Aug 2009
Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / . . ... incl. Internet/Web, and HCI): 5070
by Malgorzata Marciniak
ISBN 13: 9783642047343
Format: Paperback (464 pages) Publisher: Springer Published: 29 Sep 2009