Aufzählbarkeit Entscheidbarkeit Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen
Autor principal: | |
---|---|
Formato: | Libro |
Idioma: | Alemán |
Publicado: |
Berlin [etc.] :
Springer
1971
|
Edición: | 2 Aufl |
Colección: | Heidelberger Taschenbücher ;
87 |
Materias: | |
Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991001724859708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
Descripción Física: | X, 1 h., 246 p. ; 20,5 cm |
---|