Foundations of the Formal Sciences : The History of the Concept of the Formal Sciences v. 4
Benedikt Lowe
Out of stock
Format: Book (Paperback / softback)
Foundations of the Formal Sciences VII. Bringing Together Philosophy and Sociology of Science
Karen Francois
Out of stock
Format: Book (Paperback / softback)
Ordinal Definability and Recursion Theory: Volume 3 : The Cabal Seminar, Volume III
Alexander S. Kechris
Download - Immediately Available
Format: eBook (EPUB)
Ordinal Definability and Recursion Theory: Volume 3 : The Cabal Seminar, Volume III
Alexander S. Kechris
Download - Immediately Available
Format: eBook (PDF)
Ordinal Definability and Recursion Theory : The Cabal Seminar, Volume III
Alexander S. (California Institute of Technology) Kechris
Out of stock
Format: Book (Hardback)
Large Cardinals, Determinacy and Other Topics : The Cabal Seminar, Volume IV
Alexander S. (California Institute of Technology) Kechris
Out of stock
Format: Book (Hardback)
New Computational Paradigms : Changing Conceptions of What is Computable
S.B. Cooper
Download - Immediately Available
Format: eBook (PDF)
Wadge Degrees and Projective Ordinals : The Cabal Seminar, Volume II
Alexander S. Kechris
Out of stock
Format: Book (Hardback)
Games, Scales and Suslin Cardinals : The Cabal Seminar, Volume I
Alexander S. Kechris
Download - Immediately Available
Format: eBook (PDF)
Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Shier Ju
Out of stock
Format: Book (Paperback / softback)
Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Shier Ju
Download - Immediately Available
Format: eBook (PDF)
New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Barry S. Cooper
Download - Immediately Available
Format: eBook (PDF)
Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Arnold Beckmann
Download - Immediately Available
Format: eBook (PDF)
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
Arnold Beckmann
Download - Immediately Available
Format: eBook (PDF)
Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Barry S. Cooper
Download - Immediately Available
Format: eBook (PDF)
Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
Interactive Logic : Selected Papers from the 7th Augustus de Morgan Workshop, London
Benedikt Lowe
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£60.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Klaus Ambos-Spies
Download - Immediately Available
Format: eBook (PDF)
Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Margaret Archibald
Download - Immediately Available
Format: eBook (PDF)
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Fernando Ferreira
Download - Immediately Available
Format: eBook (PDF)
Logic and the Foundations of Game and Decision Theory - LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Giacomo Bonanno
Download - Immediately Available
Format: eBook (PDF)
Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
