醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5635] Back

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

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47348] Title Information:	its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979
[NT 47354] Secondary Intellectual Responsibility:	DrakeFrank R,
[NT 47354] Secondary Intellectual Responsibility:	WainerS. S,
[NT 47262] Corporate Body:	Logic Colloquium(1990
[NT 47351] Place of Publication:	Cambridge (England)
[NT 47263] Published:	Cambridge UniversityPress;
[NT 47352] Year of Publication:	1980
[NT 47264] Description:	319 p.ill. : 23 cm;
[NT 47298] Series:	London Mathematical Society lecture note series45
[NT 47266] Subject:	Recursion theory -
[NT 47266] Subject:	Recursive functions - Congresses -
[NT 50961] 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