Sciweavers

39 search results - page 1 / 8
» csl 2009
Sort
View
71
Voted
CSL
2009
Springer
15 years 4 months ago
The Ackermann Award 2009
Johann A. Makowsky, Alexander A. Razborov
CSL
2009
Springer
15 years 4 months ago
Forcing and Type Theory
Thierry Coquand
CSL
2009
Springer
15 years 4 months ago
Kleene's Amazing Second Recursion Theorem
Yiannis N. Moschovakis