Techniques of Admissible Recursion Theory

Beschreibung

Autor*in

C. T. Chong

Themen in »Techniques of Admissible Recursion Theory«

Finite Kurve (Math.) Modell (Math. Logik) computability theory recursion theorem

Stimmen zu »Techniques of Admissible Recursion Theory«

Details

Link teilen