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
Save for later
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
Advances in Case-Based Reasoning: 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings: 2416 (Lecture Notes in Computer Science)
by Susan Craw,Alun Preece
ISBN 13: 9783540441090
Format: Paperback (676 pages) Publisher: Springer Published: 21 Aug 2002
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
by Peter J. Eccles
ISBN 13: 9780521597180
Format: Paperback (362 pages) Publisher: Cambridge University Press Published: 11 Dec 1997
e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers (Communications in Computer and Information Science)
by Joaquim Filipe, Mohammad S. Obaidat
ISBN 13: 9783642051968
Format: Paperback (482 pages) Publisher: Springer Published: 28 Oct 2009
The Description Logic Handbook: Theory, Implementation and Applications
by
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521747721
Format: Paperback (306 pages) Publisher: Cambridge University Press Published: 23 Aug 2010
Logische Grundlagen Der Mathematik (Springer-Lehrbuch)
by Ralf-Dieter Schindler
ISBN 13: 9783540959311
Format: Paperback (203 pages) Publisher: Springer Published: Mar 2009
In Defence of Objective Bayesianism
by Jon Williamson
ISBN 13: 9780199228003
Format: Hardcover (200 pages) Publisher: OUP Oxford Published: 13 May 2010
State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, ... in Computer and Information Science)
ISBN 13: 9783642041303
Format: Paperback (137 pages) Publisher: Springer Published: 28 Aug 2009
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)
by Guerino Mazzola,Gérard Milmeister,Jody Weissmann
ISBN 13: 9783540368731
Format: Paperback (388 pages) Publisher: Springer Published: 20 Sep 2006