東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Lambda calculus with types /

~

Barendregt, H. P.

Linked to FindBook

Google Book

Amazon

博客來

Lambda calculus with types /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Lambda calculus with types // Henk Barendregt, Wil Dekkers, Richard Statman.
Author:	Barendregt, H. P.
other author:	Dekkers, Wil.
Published:	Cambridge ;Cambridge University Press, : 2013.,
Description:	xxii, 833 p. :ill ;26 cm.
Notes:	"Association for Symbolic Logic."
Subject:	Lambda calculus. -
ISBN:	9780521766142 (hbk.) :

Lambda calculus with types /
Barendregt, H. P.

Lambda calculus with types /Henk Barendregt, Wil Dekkers, Richard Statman. - Cambridge ;Cambridge University Press,2013. - xxii, 833 p. :ill ;26 cm. - Perspectives in logic. - Perspectives in logic..

"Association for Symbolic Logic."

Includes bibliographical references (p. 791-813) and index.

ISBN: 9780521766142 (hbk.) :US90.00

LCCN: 2013444003Subjects--Topical Terms:

701604
Lambda calculus.

LC Class. No.: QA9.5 / .B365 2013

Dewey Class. No.: 511.35

Lambda calculus with types /
LDR:00901cam a22002777i 450 001 1875087
005 20131223134713.0
008 130828s2013 enk b 001 0 eng d
010 $a 2013444003
020 $a 9780521766142 (hbk.) : $c US90.00
020 $a 0521766141 (hbk.)
020 $a 9781107273818 (ebk.)
020 $a 1107273811 (ebk.)
020 $a 1299772749 (ebk.)
020 $a 9781299772748 (ebk.)
020 $a 9781139032636 (ebk.)
020 $a 1139032631 (ebk.)
035 $a AS-BW-102-07
040 $a CDX $b eng
050 0 0 $a QA9.5 $b .B365 2013
082 0 4 $a 511.35 $2 23
100 1 $a Barendregt, H. P. $q (Hendrik Pieter) $3 2010699
245 1 0 $a Lambda calculus with types / $c Henk Barendregt, Wil Dekkers, Richard Statman.
260 # $a Cambridge ; $a New York : $b Cambridge University Press, $c 2013.
300 $a xxii, 833 p. : $b ill ; $c 26 cm.
490 1 0 $a Perspectives in logic
500 $a "Association for Symbolic Logic."
504 $a Includes bibliographical references (p. 791-813) and index.
650 # 0 $a Lambda calculus. $3 701604
700 1 # $a Dekkers, Wil. $3 2010700
700 1 # $a Statman, Richard. $3 2010701
830 0 $a Perspectives in logic. $3 1232948

based on 0 review(s)

ISSUES

壽豐校區(SF Campus)
-

last issue: 1 (2013/12/25)
Details

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0181248

六樓西文書區HC-Z(6F Western Language Books)

01.外借(書)_YB

一般圖書

QA9.5 B365 2013

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login