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
by
ISBN 13: 9788847018358
Format: Paperback (190 pages) Publisher: Springer Published: 23 Dec 2010
Save for later
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
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise,Lawrence Moss
ISBN 13: 9781575860084
Format: Paperback (390 pages) Publisher: Cambridge University Press Published: 13 Jul 1996
Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981 (Lecture Notes in Mathematics)
ISBN 13: 9783540119616
Format: Paperback (322 pages) Publisher: Springer Published: 01 Dec 1982
The Law of Non-Contradiction: New Philosophical Essays
ISBN 13: 9780199204199
Format: Paperback (456 pages) Publisher: Clarendon Press Published: 30 Nov 2006
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
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)
ISBN 13: 9783642110719
Format: Paperback (236 pages) Publisher: Springer Published: 30 Nov 2010
Categories and Commutative Algebra: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna ... 11-21,1971 (C.I.M.E. Summer Schools)
ISBN 13: 9783642109782
Format: Paperback (338 pages) Publisher: Springer Published: 30 Nov 2010
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)
by David M. Bressoud
ISBN 13: 9780521666466
Format: Paperback (274 pages) Publisher: Cambridge University Press Published: 13 Aug 1999
An Introduction to Probability and Inductive Logic
by Ian Hacking
ISBN 13: 9780521772877
Format: Hardcover (320 pages) Publisher: Cambridge University Press Published: 02 Jul 2001 Other Format: Paperback
Aggregation Functions (Encyclopedia of Mathematics and its Applications)
by Michel Grabisch,Jean-Luc Marichal,Radko Mesiar,Endre Pap
ISBN 13: 9780521519267
Format: Hardcover (478 pages) Publisher: Cambridge University Press Published: 09 Jul 2009
Computability Theory: An Introduction to Recursion Theory
by Herbert B. Enderton
ISBN 13: 9780123849588
Format: Hardcover (192 pages) Publisher: Academic Press Published: 30 Dec 2010