Tools

LEADER 01333cam a2200361 i 4500

001 ocm02798768;

005 20141211204829.0;

008 770210s1977 wb b 001 0 eng ;

010 a| 77001375;

020 a| 0387081321;

035 a| (Sirsi) o02798768;

035 a| (OCoLC)2798768;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| ERE*;

050 00 a| QA3b| .L28 no. 574;

082 0 a| 510/.8 sa| 511/.3;

100 1 a| Moldestad, Johan,d| 1946-=| ^A90490;

245 10 a| Computations in higher types /c| Johan Moldestad.;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1977.;

300 a| 203 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in mathematics ;v| 574;

500 a| Includes index.;

504 a| Bibliography: p. [195]-196.;

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

830 0 a| Lecture notes in mathematics (Springer-Verlag)v| 574.=| ^A496146;

919 a| BOOK;

590 a| Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG),SEARCH BY CALL NUMBER QA3 .L28.;

596 a| 1;

998 a| 114186;

999 a| QA3 .L28 NO. 574w| LCc| 1i| 310372001363564d| 1/14/2013f| 1/14/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/4/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Computations in higher types / Johan Moldestad.

Author/creator	Moldestad, Johan, 1946-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1977.
Description	203 pages ; 25 cm.
Subjects	Recursive functions.

Series	Lecture notes in mathematics ; 574 Lecture notes in mathematics (Springer-Verlag) 574. ^A496146
Local note	Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG),SEARCH BY CALL NUMBER QA3 .L28.
General note	Includes index.
Bibliography note	Bibliography: p. [195]-196.
LCCN	77001375
ISBN	0387081321

Availability

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

Computations in higher types / Johan Moldestad.

Click here for more information about this title

Availability