Recursion Theory and Computational Complexity: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in ... June 14-23, 1979 (C.I.M.E. Summer Schools)
by
ISBN 13: 9783642110719
Format: Paperback (236 pages) Publisher: Springer Published: 30 Nov 2010
Save for later
Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), ... 9-17, 1968 (C.I.M.E. Summer Schools)
ISBN 13: 9783642110788
Format: Paperback (285 pages) Publisher: Springer Published: 30 Nov 2010
Gentzen Calculi for Modal Propositional Logic (Trends in Logic)
by Francesca Poggiolesi
ISBN 13: 9789048196692
Format: Hardcover (222 pages) Publisher: Springer Published: 02 Dec 2010
Giuseppe Peano between Mathematics and Logic: Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his ... Mathematico Torino (Italy) October 2-3, 2008
ISBN 13: 9788847018358
Format: Paperback (190 pages) Publisher: Springer 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
Type-2 Fuzzy Logic: Theory and Applications (Studies in Fuzziness and Soft Computing)
by Oscar Castillo,Patricia Melin
ISBN 13: 9783540762836
Format: Hardcover (244 pages) Publisher: Springer Published: 20 Feb 2008
AUTOMATA, FORMAL LANGUAGES AND ALGEBRAIC SYSTEMS - PROCEEDINGS OF AFLAS 2008
by ITO MASAMI ET AL
ISBN 13: 9789814317603
Format: Hardcover (248 pages) Publisher: World Scientific Press Published: 24 Nov 2010
Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic)
by Andrzej Indrzejczak
ISBN 13: 9789048187843
Format: Hardcover (514 pages) Publisher: Springer Published: 11 Jun 2010
A Course of Modern Analysis
by E. T. Whittaker
ISBN 13: 9781438528151
Format: Paperback (620 pages) Publisher: Book Jungle Published: 04 Nov 2009