Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
Save for later
The Logical Status of Diagrams
by Sun-Joo Shin
ISBN 13: 9780521461573
Format: Hardcover (212 pages) Publisher: Cambridge University Press Published: 27 Jan 1995
The Axiom of Choice (Dover Books on Mathematics)
by Thomas J Jech
ISBN 13: 9780486466248
Format: Illustrated (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009
There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by Francesco Berto
ISBN 13: 9781405197670
Format: Paperback (254 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009 Other Format: Illustrated
Pre-Algebra DeMYSTiFieD, Second Edition
by Allan G. Bluman
ISBN 13: 9780071742528
Format: Paperback (352 pages) Publisher: McGraw-Hill Professional Published: 01 Dec 2010
Additive Cellular Automata Vol 1: Theory and Applications (Practitioners)
by Parimal Pal Chaudhuri
ISBN 13: 9780818677175
Format: Illustrated (368 pages) Publisher: John Wiley & Sons Published: 27 Jun 1997
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
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
Theory of Uniform Approximation of Functions by Polynomials
by Dzyadyk Vladislav,Igor A. Shevchuk
ISBN 13: 9783110201475
Format: Hardcover (480 pages) Publisher: Walter de Gruyter & Co Published: 01 May 2008
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
by Walter Carnielli,Marcelo Coniglio,Dov M. Gabbay,Paula Gouveia,Cristina Sernadas
ISBN 13: 9781402067815
Format: Hardcover (620 pages) Publisher: Springer Published: 04 Feb 2008