Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)
by Jan Krajíek
ISBN 13: 9780521154338
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 23 Dec 2010
Save for later
Lower Central and Dimension Series of Groups (Lecture Notes in Mathematics)
by Roman Mikhailov,Inder Bir Singh Passi
ISBN 13: 9783540858171
Format: Paperback (374 pages) Publisher: Springer Published: 16 Oct 2008
Banach Spaces and Descriptive Set Theory: Selected Topics (Lecture Notes in Mathematics)
by Pandelis Dodos
ISBN 13: 9783642121524
Format: Paperback (170 pages) Publisher: Springer Published: 11 May 2010
A Course of Modern Analysis
by E. T. Whittaker
ISBN 13: 9781438528151
Format: Paperback (620 pages) Publisher: Book Jungle Published: 04 Nov 2009
Incompleteness in the Land of Sets (Studies in Logic)
by M. Fitting
ISBN 13: 9781904987345
Format: Paperback (156 pages) Publisher: College Publications Published: 19 Feb 2007
Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))
by
ISBN 13: 9781904987291
Format: Paperback (300 pages) Publisher: College Publications Published: 05 Dec 2006
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)
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
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