Principles of Applied Mathematics (Advanced Book Program)
by James P. Keener
ISBN 13: 9780738201290
Format: Hardcover (624 pages) Publisher: CRC Press Published: 14 Jan 2000
Save for later
Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)
by Alexander Gelbukh
ISBN 13: 9783642003813
Format: Paperback (604 pages) Publisher: Springer Published: 16 Feb 2009
An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)
by Graham Priest
ISBN 13: 9780521670265
Format: Paperback (646 pages) Publisher: Cambridge University Press Published: 10 Apr 2008
Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)
by Ross Street
ISBN 13: 9780521695244
Format: Illustrated (160 pages) Publisher: Cambridge University Press Published: 18 Jan 2007
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)
by Shawn Hedman
ISBN 13: 9780198529811
Format: Illustrated (452 pages) Publisher: OUP Oxford Published: 08 Jul 2004
Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))
by Kevin Lano
ISBN 13: 9783540199786
Format: Illustrated (436 pages) Publisher: Springer Published: 25 Oct 1995
Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)
by Peter T. Johnstone
ISBN 13: 9780521337793
Format: Paperback (396 pages) Publisher: Cambridge University Press Published: 14 Aug 1986
Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486284620
Format: Paperback (272 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings: 5861 (Lecture Notes in Computer Science)
by Yasuo Narukawa,Masahiro Inuiguchi
ISBN 13: 9783642048197
Format: Paperback (388 pages) Publisher: Springer Published: 03 Nov 2009
Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... 4998 (Lecture Notes in Computer Science)
by Jaume Bacardit
ISBN 13: 9783540881377
Format: Paperback (320 pages) Publisher: Springer Published: 23 Oct 2008
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008