Language, Games, and Evolution: Trends in Current Research on Language and Game Theory (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642180057
Format: Paperback (196 pages) Publisher: Springer Published: 14 Mar 2011
Save for later
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)
ISBN 13: 9783642197536
Format: Paperback (275 pages) Publisher: Springer Published: 14 Mar 2011
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
Analysis: An Introduction
by Richard Beals
ISBN 13: 9780521600477
Format: Paperback (272 pages) Publisher: Cambridge University Press Published: 13 Sep 2004
Computability In Context: Computation And Logic In The Real World
by Cooper S Barry et al
ISBN 13: 9781848162457
Format: Hardcover (420 pages) Publisher: Imperial College Press Published: 25 Apr 2011
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988
Schaum's Outline of Set Theory and Related Topics
by Seymour Lipschutz
ISBN 13: 9780070381599
Format: Paperback (288 pages) Publisher: McGraw Hill Published: 01 Jan 1998
Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings ... Computer Science / Security and Cryptology)
by Bimal Roy, Nicolas Sendrier
ISBN 13: 9783642106279
Format: Paperback (443 pages) Publisher: Springer Published: 24 Nov 2009
A Concise Introduction to Mathematical Logic (Universitext)
by Wolfgang Rautenberg
ISBN 13: 9781441912206
Format: Illustrated (342 pages) Publisher: Springer Published: 17 Dec 2009
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)
by Eerke A. Boiten,Bernhard Möller
ISBN 13: 9783540438571
Format: Paperback (273 pages) Publisher: Springer Published: 13 Jun 2008
Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009