Notice bibliographique
- Notice
000 01120n6 m 2200027 45a
001 FRBNF353940780000004
008 790101s 1978 .... ....xxxxx b 0xx
009 ax x
015 .. $a 57816720
020 .. $a 0-444-85163-1
051 .. $a txt $b n
110 .. $3 12748586 $w .0..b..... $a Symposium On Generalized Recursion Theory. [1è. 1972. Oslo.] $4 0070
245 1. $a |Generalized recursion theory... $h 2 $i Proceedings $d Texte imprimé $f of the 1977 Oslo symposium $g edited by J.E. Fenstad,... R.O. Gandy,... G.E. Sacks,..
260 .. $a Amsterdam $a London $c North Holland $a New York $c American Elsevier $d 1978
280 .. $a VII-417 p $d 23 cm
295 1. $a |Studies in logic and the foundations of mathematics $v 94
300 .. $a Notes bibliogr. en fin de chapitres
917 .. $o OPL $a 012338725
919 .. $p FR $o NCG $a T8806380000
