|
New Computational Paradigms: Changing Conceptions of What is Computable
by
4.50 avg rating — 2 ratings
—
published
2007
—
2 editions
|
|
|
How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science, 7318)
by
4.50 avg rating — 2 ratings
—
published
2012
—
3 editions
|
|
|
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings (Lecture Notes in Computer Science, 3526)
by
4.50 avg rating — 2 ratings
—
published
2005
|
|
|
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics (Trends in Logic, 17)
by
it was amazing 5.00 avg rating — 1 rating
—
published
2003
—
4 editions
|
|
|
Ordinal Definability and Recursion Theory: Volume 3: The Cabal Seminar, Volume III (Lecture Notes in Logic Book 43)
by
really liked it 4.00 avg rating — 1 rating
—
published
2015
—
3 editions
|
|
|
Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I (Lecture Notes in Logic, Series Number 31)
by
really liked it 4.00 avg rating — 1 rating
—
published
2008
—
9 editions
|
|
|
Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II (Lecture Notes in Logic, Series Number 37)
by
really liked it 4.00 avg rating — 1 rating
—
published
2011
—
6 editions
|
|
|
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics (Trends in Logic Book 17)
by
0.00 avg rating — 0 ratings
|
|
|
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture Notes in Computer Science Book 6735)
by
0.00 avg rating — 0 ratings
|
|
|
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III" (Trends in Logic Book 23)
by
0.00 avg rating — 0 ratings
|
|
|
Foundations of the Formal Sciences. the History of the Concept of the Formal Sciences
by
0.00 avg rating — 0 ratings
—
published
2006
|
|
|
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III"
by
0.00 avg rating — 0 ratings
|
|
|
60 Jahre DVMLG
by
0.00 avg rating — 0 ratings
|
|
|
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
by
0.00 avg rating — 0 ratings
—
published
2011
—
2 editions
|
|
|
New Computational Paradigms: Changing Conceptions of What Is Computable
by
0.00 avg rating — 0 ratings
—
published
2008
|
|
|
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III"
by
0.00 avg rating — 0 ratings
—
published
2005
—
4 editions
|
|
|
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
by
|
|
|
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings ... Notes in Computer Science Book 7921)
by
0.00 avg rating — 0 ratings
|
|
|
Large Cardinals, Determinacy and Other Topics: The Cabal Seminar, Volume IV (Lecture Notes in Logic, Series Number 49) (Volume 4)
by
0.00 avg rating — 0 ratings
|
|
|
The Cabal Seminar 4 Volume Hardback Set: Volumes I–IV (Lecture Notes in Logic)
by
0.00 avg rating — 0 ratings
|
|
|
Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings (Lecture Notes in Computer Science Book 4497)
by
0.00 avg rating — 0 ratings
|
|
|
How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science Book 7318)
by
0.00 avg rating — 0 ratings
|
|
|
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science Book 6158)
by
0.00 avg rating — 0 ratings
|
|
|
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science Book 5489)
by
0.00 avg rating — 0 ratings
|
|
|
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings (Lecture Notes in Computer Science Book 3526)
by
0.00 avg rating — 0 ratings
|
|
|
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings (Lecture Notes in Computer Science, 3988)
by
0.00 avg rating — 0 ratings
—
published
2006
—
3 editions
|
|
|
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
by
0.00 avg rating — 0 ratings
—
published
2011
|
|
|
New Computational Paradigms: Changing Conceptions of What is Computable
by
0.00 avg rating — 0 ratings
—
published
2010
—
2 editions
|
|
|
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 5489)
by
0.00 avg rating — 0 ratings
—
published
2009
|
|
|
Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings (Lecture Notes in Computer Science, 5028)
by
0.00 avg rating — 0 ratings
—
published
2008
—
5 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.