Tools

LEADER 02167nam a22004937i 4500

001 ssj0001036417;

003 WaSeSS;

005 20191012081120.0;

006 m d ;

007 cr n ;

008 131025s2013 enk sb 001 0 eng d;

010 a| 2013444003;

020 a| 0521766141 (cloth);

020 a| 9780521766142 (cloth);

035 a| (WaSeSS)ssj0001036417;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA9.5b| .B365 2013;

082 04 a| 511.352| 23;

100 1 a| Barendregt, H. P.q| (Hendrik Pieter)=| ^A173634;

245 10 a| Lambda calculus with typesh| [electronic resource] /c| Henk Barendregt, Radboud University, Nijmegen, Wil Dekkers, Radboud University, Nijmegen, Richard Statman, Carnegie Mellon University.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,;

300 a| xxii, 833 pages ;c| 26 cm.;

490 1 a| Perspectives in logic;

500 a| "Association for Symbolic Logic.";

504 a| Includes bibliographical references (pages 791-813) and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Lambda calculus.=| ^A173635;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Dekkers, Wil.?| UNAUTHORIZED;

700 1 a| Statman, Richard.?| UNAUTHORIZED;

830 0 a| Perspectives in logic.?| UNAUTHORIZED;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=1303578;

947 a| (OCoLC)ocn852197712;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 5194496;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5194496-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 11/1/2019x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5194496-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 11/1/2019x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5194496-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 11/1/2019x| EBOOKz| JERESOURCE;

Lambda calculus with types / Henk Barendregt, Radboud University, Nijmegen, Wil Dekkers, Radboud University, Nijmegen, Richard Statman, Carnegie Mellon University.

Author/creator	Barendregt, H. P.
Other author	Dekkers, Wil.
Other author	Statman, Richard.
Format	Electronic
Publication Info	Cambridge ; New York : Cambridge University Press,
Description	xxii, 833 pages ; 26 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Lambda calculus.

Series	Perspectives in logic Perspectives in logic. UNAUTHORIZED
General note	"Association for Symbolic Logic."
Bibliography note	Includes bibliographical references (pages 791-813) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2013444003
ISBN	0521766141 (cloth)
ISBN	9780521766142 (cloth)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Lambda calculus with types / Henk Barendregt, Radboud University, Nijmegen, Wil Dekkers, Radboud University, Nijmegen, Richard Statman, Carnegie Mellon University.

Click here for more information about this title

Availability