醒吾科技大學圖書館 |

登入

回首頁

Recursion theory : its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979
其他作者:	DrakeFrank R,
其他作者:	WainerS. S,
團體作者:	Logic Colloquium(1990
出版地:	Cambridge (England)
出版者:	Cambridge UniversityPress;
出版年:	1980
面頁冊數:	319 p.ill. : 23 cm;
集叢名:	London Mathematical Society lecture note series45
標題:	Recursion theory -
標題:	Recursive functions - Congresses -
ISBN:	052123543X

Recursion theory : its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979
Logic Colloquium

Recursion theory : its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer - Cambridge (England) : Cambridge UniversityPress, 1980. - 319 p. ; ill. ; 23 cm. - (London Mathematical Society lecture note series ; 45).
Includes bibliographical references.
ISBN 052123543X
Recursion theoryRecursive functions -- Congresses

Drake, Frank R

Recursion theory : its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979
LDR:00815nam0 2200229 i 450 001 149173
005 20120618210800.0
010 1 $a 052123543X
020 $a us $b 80041215
100 $a 20071203d1980 y0engy01 b
101 0 $a eng
102 $a gb $b en
105 $a a a 100yy
200 1 $a Recursion theory $e its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979 $f edited by F. R. Drake and S. S. Wainer
210 $a Cambridge (England) $a New York $d 1980 $c Cambridge UniversityPress
215 1 $a 319 p. $c ill. $d 23 cm
225 2 $a London Mathematical Society lecture note series $v 45
320 $a Includes bibliographical references
410 0 $1 2001 $a London Mathematical Society lecture note series $v 45
606 $a Recursion theory $3 134780
606 $a Recursive functions $x Congresses $3 136822
676 $a 511.3 $b L832
676 $a 511.3 $v 20
702 $a Drake $b Frank R $3 136820
702 $a Wainer $b S. S $3 136821
710 $a Logic Colloquium $e Finland) $f (1990 $3 99577 $3 223649
801 0 $a twbBSF $c 20070208 $g CCR
801 1 $a tw $b 醒吾 $c 20070208