Tools

LEADER 01657cam 2200409 4500

001 ocm01007181;

005 20141212131434.0;

008 740731s1974 ne b 101 0 engm ;

010 a| 73081531;

015 a| Ne74-18;

020 a| 044410545X (American Elsevier);

035 a| (Sirsi) o01007181;

035 a| (OCoLC)1007181;

037 c| fl88.40;

049 a| ERE*;

050 00 a| QA9.6b| .S95 1972;

082 0 a| 511/.3;

111 2 a| Symposium on Generalized Recursion Theoryn| (1st :d| 1972 :c| University of Oslo)?| UNAUTHORIZED;

245 10 a| Generalized recursion theory. :b| Proceedings of the 1972 Oslo symposium /c| Ed. by J. E. Fenstad and P. G. Hinman.;

300 a| viii, 456 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics,v| v. 79;

500 a| Includes 12 papers from the symposium.;

504 a| Bibliography: p. 445-451.;

650 0 a| Recursion theoryv| Congresses.=| ^A116859;

700 1 a| Fenstad, Jens Erik.=| ^A549394;

700 1 a| Hinman, Peter G.=| ^A549395;

872 29 j| 111/1a| Symposium on Generalized Recursion Theory,n| 1st,c| University of Oslo,d| 1972.;

830 0 a| Studies in logic and the foundations of mathematicsv| v. 79.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 64884;

999 a| QA9.6 .S95 1972w| LCc| 1i| 310372000717647d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 3/7/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Generalized recursion theory. : Proceedings of the 1972 Oslo symposium / Ed. by J. E. Fenstad and P. G. Hinman.

Author/creator	Symposium on Generalized Recursion Theory
Other author	Fenstad, Jens Erik.
Other author	Hinman, Peter G.
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co.; New York : American Elsevier Pub. Co., 1974.
Description	viii, 456 pages ; 23 cm.
Subjects	Recursion theory--Congresses.

Series	Studies in logic and the foundations of mathematics, v. 79 Studies in logic and the foundations of mathematics v. 79. ^A16526
General note	Includes 12 papers from the symposium.
Bibliography note	Bibliography: p. 445-451.
LCCN	73081531
ISBN	044410545X (American Elsevier)
Stock number	fl88.40

Generalized recursion theory. : Proceedings of the 1972 Oslo symposium / Ed. by J. E. Fenstad and P. G. Hinman.

Click here for more information about this title