Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Save for later
Inductive Logic (Handbook of the History of Logic)
ISBN 13: 9780444529367
Format: Hardcover (800 pages) Publisher: North Holland Published: 20 May 2010
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002
The Incompleteness Phenomenon
by Martin Goldstern,Haim Judah
ISBN 13: 9781568810294
Format: Hardcover (218 pages) Publisher: A K Peters/CRC Press Published: 15 Jun 1995
Inconsistent Geometry
by Chris Mortensen
ISBN 13: 9781848900226
Format: Paperback (174 pages) Publisher: College Publications Published: 15 Oct 2010
Multi-Criteria Decision Making Methods: A Comparative Study (Applied Optimization)
by Evangelos Triantaphyllou
ISBN 13: 9781441948380
Format: Paperback (324 pages) Publisher: Springer Published: 08 Dec 2010
Discrete Structures with Contemporary Applications
by Alexander Stanoyevitch
ISBN 13: 9781439817681
Format: Hardcover (1002 pages) Publisher: Chapman and Hall/CRC Published: 25 Jan 2011
Combinatorial Games: Tic-Tac-Toe Theory (Encyclopedia of Mathematics and its Applications)
by József Beck
ISBN 13: 9780521184755
Format: Paperback (750 pages) Publisher: Cambridge University Press Published: 28 Apr 2011
Classical Recursion Theory, Volume II: Vol 2 (Studies in Logic and the Foundations of Mathematics)
by P. Odifreddi
ISBN 13: 9780444502056
Format: Hardcover (966 pages) Publisher: North Holland Published: 07 Sep 1999
Interactive Decision Making: The Graph Model for Conflict Resolution: 11 (Wiley Series in Systems Engineering and Management)
by Fang,Hipel,Kilgour
ISBN 13: 9780471592372
Format: Illustrated (240 pages) Publisher: John Wiley & Sons Published: 26 Oct 1993
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)
by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster
ISBN 13: 9780521149341
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 05 May 2011
The Colorado Mathematical Olympiad and Further Explorations: From the Mountains of Colorado to the Peaks of Mathematics: The First Twenty Years and Further Explorations
by Alexander Soifer
ISBN 13: 9780387754710
Format: Paperback (447 pages) Publisher: Springer Published: 11 Apr 2011