醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

Introduction to higher order categorical logic

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47261] Author:	LambekJoachim,
[NT 47354] Secondary Intellectual Responsibility:	ScottP. J,
[NT 47351] Place of Publication:	Cambridge
[NT 47263] Published:	Cambridge University Press;
[NT 47352] Year of Publication:	c1988
[NT 50960] Edition:	First paperback ed.
[NT 47264] Description:	ix, 293 p.ill. : 24 cm;
[NT 47298] Series:	Cambridge studies in advanced mathematics7
[NT 47266] Subject:	Categories (Mathematics) -
[NT 47265] Notes:	Includes indexes
[NT 50961] ISBN:	0521356539

Introduction to higher order categorical logic
Lambek, Joachim

Introduction to higher order categorical logic / JLambek, P.J. Scott - First paperback ed.. - Cambridge : Cambridge University Press, c1988. - ix, 293 p. ; ill. ; 24 cm. - (Cambridge studies in advanced mathematics ; 7).
Includes indexes.
Bibliography: p. [279]-288.
ISBN 0521356539
Categories (Mathematics)

Scott, P. J

Introduction to higher order categorical logic
LDR:00824nam0 2200253 i 450 001 148761
005 20120618220004.0
010 1 $a 0521356539
100 $a 20071203d1988 y0engy01 b
101 0 $a eng
102 $a gb $b en
105 $a a a 001yy
200 1 $a Introduction to higher order categorical logic $f JLambek, P.J. Scott
205 $a First paperback ed. $f with corrections
210 $a Cambridge $a New York $d c1988 $c Cambridge University Press
215 1 $a ix, 293 p. $c ill. $d 24 cm
225 2 $a Cambridge studies in advanced mathematics $v 7
300 $a Includes indexes
320 $a Bibliography: p. [279]-288
410 0 $a Cambridge studies in advanced mathematics $v 7
410 0 $1 2001 $a Cambridge studies in advanced mathematics $v 7
606 $a Categories (Mathematics) $3 94849 $3 224976
676 $a 512.55 $b L221
676 $a 512.55 $v 21
700 $a Lambek $b Joachim $3 135667
702 $a Scott $b P. J $3 135668
801 0 $a twbBSF $c 20070208 $g CCR
801 1 $a tw $b 醒吾 $c 20070208

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00223364

4樓西文圖書區

一般圖書

一般圖書

512.55 L221

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login