Modules over Operads and Functors: 1967 (Lecture Notes in Mathematics)
by Benoit Fresse
ISBN 13: 9783540890553
Format: Illustrated (324 pages) Publisher: Springer Published: 27 Mar 2009
Save for later
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I: Cabal Seminar v. 1 (Lecture Notes in Logic)
by Alexander S. Kechris, Benedikt Löwe, John R. Steel
ISBN 13: 9780521899512
Format: Hardcover (460 pages) Publisher: Cambridge University Press Published: 15 Sep 2008
Collected Works: Publications 1929-1936 (Collected Works of Kurt Godel)
by Kurt Godel,Solomon Feferman,John W. Dawson
ISBN 13: 9780195039641
Format: Illustrated (504 pages) Publisher: Oxford University Press Published: 01 Jan 1986
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783540926863
Format: Paperback (469 pages) Publisher: Springer Published: 18 Dec 2008
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
by
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004
104 Number Theory Problems: From the Training of the USA IMO Team
by Titu Andreescu,Dorin Andrica,Zuming Feng
ISBN 13: 9780817645274
Format: Paperback (204 pages) Publisher: Birkhauser Published: 08 Jan 2007
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
by Roberto M. Amadio,Pierre-Louis Curien
ISBN 13: 9780521622776
Format: Hardcover (504 pages) Publisher: Cambridge University Press Published: 02 Jul 1998
Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications)
by D. Dikranjan,Walter Tholen
ISBN 13: 9780792337720
Format: Hardcover (376 pages) Publisher: Springer Published: 31 Oct 1995
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)
by Igor Lavrov,Larisa Maksimova
ISBN 13: 9780306477126
Format: Hardcover (302 pages) Publisher: Springer Published: 31 Mar 2003
Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference (Theory and Decision Library B)
by Michel Grabisch,Hung T. Nguyen,E.A. Walker
ISBN 13: 9780792331759
Format: Hardcover (364 pages) Publisher: Springer Published: 30 Nov 1994
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... Mathematics / Fondazione C.I.M.E., Firenze)
by Steven Homer,Anil Nerode,Richard A. Platek,Gerald E. Sacks,Andre Scedrov
ISBN 13: 9783540527343
Format: Paperback (162 pages) Publisher: Springer Published: 17 Jul 1990