國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

The lambda calculus : = its syntax a...

~

Barendregt, H. P. ((Hendrik Pieter).)

The lambda calculus : = its syntax and semantics /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	The lambda calculus :/ Henk P. Barendregt.
Reminder of title:	its syntax and semantics /
Author:	Barendregt, H. P.
Published:	London :King's College , : 2012.,
Description:	xv, 621 p. :ill. ; : 23 cm.;
Subject:	Lambda calculus. -
ISBN:	9781848900660 (pbk.) :

The lambda calculus : = its syntax and semantics /
Barendregt, H. P.(Hendrik Pieter).

The lambda calculus :its syntax and semantics /Henk P. Barendregt. - London :King's College ,2012. - xv, 621 p. :ill. ;23 cm. - Studies in logic ;v. 40.. - Studies in logic ;v. 35..

Includes bibliographical references and indexes.

ISBN: 9781848900660 (pbk.) :NT840Subjects--Topical Terms:

673621
Lambda calculus.

LC Class. No.: QA9.5 / .B367 2012

Dewey Class. No.: 511.3

The lambda calculus : = its syntax and semantics /
LDR:00522cam a2200157 a 4500 001 762674
008 131213s2012 enka b 001 0 eng
020 $a 9781848900660 (pbk.) : $c NT840
035 $a 019393069
040 $a UkOxU $b eng $c UkOxU $c NFU
050 # 4 $a QA9.5 $b .B367 2012
082 0 4 $a 511.3 $2 22
100 1 $a Barendregt, H. P. $c (Hendrik Pieter). $3 943011
245 1 4 $a The lambda calculus : $b its syntax and semantics / $c Henk P. Barendregt.
260 # $a London : $c 2012. $b King's College ,
300 $a xv, 621 p. : $b ill. ; $c 23 cm.
490 0 $a Studies in logic ; $v v. 40.
504 $a Includes bibliographical references and indexes.
650 # 0 $a Lambda calculus. $3 673621
830 0 $a Studies in logic ; $v v. 35. $3 833011

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E039752

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.3 B248 2012

一般使用(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