Logo
User: Guest  Login
Document type:
Herausgeberwerk / Edited Book 
Title:
Continuity, Computability, Constructivity: From Logic to Algorithms 
Collection editors:
Berger, Ulrich; Brattka, Vasco; Morozov, Andrei S.; Spreen, Dieter 
Journal:
Annals of Pure and Applied Logic 
Volume:
163 
Issue:
Place of publication:
Amsterdam 
Publisher:
Elsevier 
Year:
2012 
Pages from - to:
973-1140 
Language:
Englisch 
Department:
Fakultät für Informatik 
Institute:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research 
Chair:
Brattka, Vasco 
Open Access yes or no?:
Nein / No