Tools

LEADER 01276cam 2200325I 4500

001 ocm01318874;

005 20141212150401.0;

008 750508_1969_______ ____ __eng u;

035 a| (Sirsi) o01318874;

035 a| (OCoLC)1318874;

040 c| YBMd| EREd| m.c.d| UtOrBLW;

049 a| ERE*;

090 a| QA3b| .A57 no. 89;

100 1 a| Kleene, Stephen Cole,d| 1909-1994.=| ^A71058;

245 10 a| Formalized recursive functionals and formalized realizability /c| by S. C. Kleene.;

260 a| Providence :b| American Mathematical Society,c| 1969.;

300 a| 106 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Memoirs of the American Mathematical Society ;v| no. 89;

500 a| Cover title.;

504 a| Bibliography: p. 104-106.;

650 0 a| Recursive functions.=| ^A30764;

830 0 a| Memoirs of the American Mathematical Societyv| no. 89.=| ^A638158;

919 a| BOOK;

590 a| Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, SEARCH BY CALL NUMBER QA3 .A57.;

596 a| 1;

998 a| 79595;

999 a| QA3 .A57 NO. 89w| LCc| 1i| 310372000902315d| 12/4/2012f| 12/4/2012g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/23/1986x| BOOKz| JSTACKSo| .STAFF. 0;

Formalized recursive functionals and formalized realizability / by S. C. Kleene.

Author/creator	Kleene, Stephen Cole
Format	Book
Publication Info	Providence : American Mathematical Society, 1969.
Description	106 pages ; 26 cm.
Subjects	Recursive functions.

Series	Memoirs of the American Mathematical Society ; no. 89 Memoirs of the American Mathematical Society no. 89. ^A638158
Local note	Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, SEARCH BY CALL NUMBER QA3 .A57.
General note	Cover title.
Bibliography note	Bibliography: p. 104-106.

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA3 .A57 NO. 89	✔ Available	Place Hold

Formalized recursive functionals and formalized realizability / by S. C. Kleene.

Click here for more information about this title

Availability