Home
>
eBooks
>
Lecture Notes Logic
>
Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings
>
Information content and computational complexity of recursive sets
