Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)
by Philippe Audebaud
ISBN 13: 9783540705932
Format: Paperback (436 pages) Publisher: Springer Published: 15 Aug 2008
Save for later
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
Logic
by Wilfrid Hodges
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001
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
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521707572
Format: Illustrated (342 pages) Publisher: Cambridge University Press Published: 24 Apr 2008
A Beginner's Guide to Graph Theory
by W.D. Wallis
ISBN 13: 9780817644840
Format: Paperback (280 pages) Publisher: Birkhauser Published: 04 Jul 2007
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)
by
ISBN 13: 9789048124855
Format: Paperback (360 pages) Publisher: Springer Published: 12 Mar 2009
From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)
ISBN 13: 9789048145546
Format: Paperback (488 pages) Publisher: Springer Published: 16 Nov 2010
Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)
by Tamás Horváth,Akihiro Yamamoto
ISBN 13: 9783540201441
Format: Paperback (416 pages) Publisher: Springer Published: 24 Sep 2003
Machine Learning: ECML 2002: 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings: 2430 (Lecture Notes in Computer Science)
by Tapio Elomaa,Hannu Toivonen,Heikki Mannila
ISBN 13: 9783540440369
Format: Paperback (552 pages) Publisher: Springer Published: 05 Aug 2002