Tools

LEADER 01199cam a2200385 4500

001 ocm00589103;

005 20141212092412.0;

008 721221s1972 ne b _000 0 eng ;

010 a| 72083378;

015 a| Ne***;

020 a| 9027703051;

035 a| (Sirsi) o00589103;

035 a| (OCoLC)589103;

049 a| ERE*;

050 00 a| QA9b| .S753;

082 0 a| 511/.3;

100 1 a| Stenlund, Sören.=| ^A49164;

245 10 a| Combinators, -terms and proof theory.;

260 a| Dordrecht :b| D. Reidel,c| [1972];

300 a| 184 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Synthese library ;v| v. 102;

500 a| Extra t.p. with thesis statement inserted.;

502 c| Uppsala.;

504 a| Bibliography: p. 177-180.;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Combinatory logic.=| ^A49165;

830 0 a| Synthese library ;v| v. 102.=| ^A4759;

919 a| BOOK;

596 a| 1;

998 a| 43690;

999 a| QA9 .S753w| LCc| 1i| 310372000461555d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 2/18/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Combinators, -terms and proof theory.

Author/creator	Stenlund, Sören
Format	Book
Publication Info	Dordrecht : D. Reidel, [1972]
Description	184 pages ; 23 cm.
Subjects	Proof theory. Combinatory logic.

Series	Synthese library ; v. 102 Synthese library ; v. 102. ^A4759
General note	Extra t.p. with thesis statement inserted.
Dissertation note	Uppsala.
Bibliography note	Bibliography: p. 177-180.
LCCN	72083378
ISBN	9027703051

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9 .S753	✔ Available	Place Hold

Combinators, -terms and proof theory.

Click here for more information about this title

Availability