LEADER 00000nam  2200000 i 4500 
001    052123543x 
008    930621s1980    xxk     r     100 0 eng   
020    052123543x 
040    UCM.MAT 
040    UCM:MAT 
080    510.6 
080    510.6 
111 2  Logic Colloquium|d(1979.|cLeeds) 
245 10 Recursion theory :|bits generalitations and applications :
       proceeding of Logic Colloquium 79, Leeds, 1979 /|ced. F.R.
       Drake and S.S. Wainer 
260    Cambridge, [etc.] :|bUniversity Press,|c1980 
300    3h., 329 p. ;|c23 cm 
490 1  London mathematical society Lecture note series ;|v45 
504    Bibliografía 
650 04 Lógica simbólica y matemática|vCongresos 
650 04 Lógica simbólica y matemática 
650 04 Recursión, Teoría de 
700 1  Boffa, Maurice,|eed. lit. 
700 1  Dalen, D. van|q(Dirk van),|d1932-,|eed. lit. 
700 1  McAloon, Kenneth,|eed. lit. 
700 1  Drake, F. R.,|eed. lit. 
700 1  Wainer, S. S.,|eed. lit. 
810 2  London mathematical society.|tLecture note series 
907 00 m|ca|dm|e0|feg|g980610|h0|i980610 
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Análisis Matemático  M-ANALISIS    CONSULTAR DEPT  DISPONIBLE