Techniques of admissible recursion theory /

Bibliographic Details
Main Author: Chong, Chi-Tat, 1949-
Format: Book
Language:English
Published: Berlin : Springer, 1984.
Series:Lecture notes in mathematics ; v. 1106
LNM ; v. 1106
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20160908123201.0
008 130708s1984 gw ||||| |||| 00| 0 eng d
020 |a 3540139028 
020 |a 0387139028 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 3126  |a Chong, Chi-Tat,  |d 1949- 
245 1 0 |a Techniques of admissible recursion theory /  |c Chi-Tat Chong. 
260 |a Berlin :   |b Springer,   |c 1984. 
300 |a vii, 214 p. ;  |c 25 cm. 
490 0 |a Lecture notes in mathematics ;   |v v. 1106 
490 0 |a LNM ;  |v v. 1106 
650 4 |a Lógica matemática. 
650 4 |a Mathematical logic. 
942 |c LIBRO  |2   
945 |a MB 
945 |a MCR  |d 2013-07-08 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__1106_000000000000000  |7 0  |9 9901  |a MMA  |b MMA  |c LN  |d 2008-06-09  |e Cámpoli Oscar  |l 0  |o M LNM v. 1106   |p 07826  |r 2014-02-19  |w 2008-06-09  |y LIBRO 
999 |c 7675  |d 7675