Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783642197536
Format: Paperback (275 pages) Publisher: Springer Published: 14 Mar 2011
Save for later
Logical Dilemmas: The Life and Work of Kurt Godel
by John Dawson
ISBN 13: 9781568812564
Format: Paperback (376 pages) Publisher: A K Peters/CRC Press Published: 06 Jun 2005
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
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)
by N/A
ISBN 13: 9783642046384
Format: Paperback (367 pages) Publisher: Springer Published: 05 Oct 2009
Referential Opacity and Modal Logic (Studies in Philosophy)
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997
Category Theory (Oxford Logic Guides)
ISBN 13: 9780199237180
Format: Paperback (320 pages) Publisher: OUP Oxford Published: 17 Jun 2010
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))
ISBN 13: 9780195147209
Format: Paperback (504 pages) Publisher: OUP USA Published: 05 Jul 2001 Other Format: Illustrated
Constructivism in Mathematics: v. 2: An Introduction (Studies in Logic and the Foundations of Mathematics)
by A.S. Troelstra,D.van Dalen,D. Van Dalen
ISBN 13: 9780444703583
Format: Hardcover (586 pages) Publisher: Elsevier Science Ltd Published: 01 Nov 1988
The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics
by Bob Hale,Crispin Wright
ISBN 13: 9780199266326
Format: Paperback (470 pages) Publisher: Clarendon Press Published: 13 Nov 2003
Kurt Gödel: Collected Works: Volume II: Publications 1938-1974: Publications 1938-1974 Vol 2 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147216
Format: Paperback (432 pages) Publisher: OUP USA Published: 16 Aug 2001