Techniques of admissible recursion theory

Techniques of admissible recursion theory

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Chong, Chi-tat (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin ; Heidelberg ; New York ; Tokyo Springer 1984
Schriftenreihe:Lecture notes in mathematics 1106
Schlagworte:
Lógica matemática > Matemática > Recursie > Récursivité, Théorie de la > Recursion theory > Transfinite Ordinalzahl > Rekursionstheorie
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:vii, 214 Seiten
ISBN:3540139028
3-540-13902-8
0387139028
0-387-13902-8