國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

The calculi of lambda-conversion /

~

Church, Alonzo, (1903-.)

The calculi of lambda-conversion /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	The calculi of lambda-conversion // by Alonzo Church.
Author:	Church, Alonzo,
Published:	Princeton ;Princeton university press, : 1951.,
Description:	ii, 82 p.23 cm.;
Notes:	Princeton University Press on demand edition, 1985.
Series:	Annals of mathematical studies ;
Subject:	Recursive functions. -
ISBN:	0691083940 (pbk.) :

The calculi of lambda-conversion /
Church, Alonzo,1903-.

The calculi of lambda-conversion /by Alonzo Church. - Princeton ;Princeton university press,1951. - ii, 82 p.23 cm. - Annals of mathematical studies ;no. 6..

Princeton University Press on demand edition, 1985.

Bibliography: p. 73-77.

ISBN: 0691083940 (pbk.) :US32.95Subjects--Topical Terms:

633626
Recursive functions.

LC Class. No.: QA331 / .C52

Dewey Class. No.: 515.25 / C473

The calculi of lambda-conversion /
LDR:00546cam 2200169 a 4500 001 609009
005 20051229
008 090918s1951 nju b 00010 eng
020 $a 0691083940 (pbk.) : $c US32.95
040 $a DLC/ICU $c CGU $d NCHU $d NFU
050 0 0 $a QA331 $b .C52
082 0 4 $a 515.25 $b C473
100 1 $a Church, Alonzo, $d 1903-. $3 633627
245 1 4 $a The calculi of lambda-conversion / $c by Alonzo Church.
260 $a Princeton ; $c 1951. $b Princeton university press,
300 $a ii, 82 p. $c 23 cm.
440 0 $a Annals of mathematical studies ; $v no. 6.
500 $a Princeton University Press on demand edition, 1985.
504 $a Bibliography: p. 73-77.
650 0 $a Recursive functions. $3 633626
650 0 $a Logic, Symbolic and mathematical. $3 527823

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E030062

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

515.25 C561 1951

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