From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
by Henry Van Heigenoort
ISBN 13: 9780674324497
Format: Paperback (680 pages) Publisher: Harvard University Press Published: 01 Jul 1990
Save for later
Scientific Applications of Language Methods (Mathematics, Computing, Language, and Life: Frontiers in Mathematical)
by Carlos Martin-Vide
ISBN 13: 9781848165441
Format: Hardcover (752 pages) Publisher: Imperial College Press Published: 31 Aug 2010
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9780857291202
Format: Paperback (203 pages) Publisher: Springer Published: 14 Jan 2011
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
Schaum's Outline of Logic, Second Edition (Schaum's Outline Series)
by John Nolt,Dennis Rohatyn,Achille Varzi
ISBN 13: 9780071755467
Format: Paperback (336 pages) Publisher: Schaum's Outlines Published: 01 Mar 2011
Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4481 (Lecture Notes in Computer Science)
by JingTao Yao,Nick J. Cercone,Wei-Zhi Wu,Pawan Lingras,Marcin Szczuka
ISBN 13: 9783540724575
Format: Illustrated (592 pages) Publisher: Springer Published: 27 Apr 2007
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
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