Sciweavers

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