Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Proofs and types
~
Lafont, Yves
Proofs and types
Record Type:
Language materials, printed : monographic
Author:
Jean - Yves Girard
Alternative Intellectual Responsibility:
LafontYves,
Place of Publication:
Cambridge
Published:
Cambridge Univ;
Year of Publication:
1989
Description:
xi,176p25cm;
Series:
Cambridge tracts in theoretica
ISBN:
0521371813
Proofs and types
Jean - Yves Girard
Proofs and types
/ Jean-Yves Girard, Paul Taylor, Yves Lafont - Cambridge : Cambridge Univ, 1989. - xi,176p ; 25cm. - (Cambridge tracts in theoretica).
ISBN 0521371813
Lafont, Yves
Proofs and types
LDR
:00507cam 2200181 450
001
413058
005
20101024091700.0
010
1
$a
0521371813
$b
(hard)
100
$a
20080130d m y0engy01 b
101
0
$a
eng
102
$a
us
105
$a
a z 000zy
200
1
$a
Proofs and types
$f
Jean-Yves Girard, Paul Taylor, Yves Lafont
210
$a
Cambridge
$c
Cambridge Univ
$d
1989
215
1
$a
xi,176p
$d
25cm
225
2
$a
Cambridge tracts in theoretica
410
1
$1
2001
$a
Cambridge tracts in theoretica
676
$a
511.3
676
$a
511.3
$b
G435
700
$a
Jean - Yves Girard
$3
391954
701
$a
Lafont
$b
Yves
$3
391955
based on 0 review(s)
ALL
圖書館3F 書庫
Items
2 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E008702
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 G435 1989 c.2
一般使用(Normal)
On shelf
0
Reserve
E008453
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
511.3 G435 1989 c.3
一般使用(Normal)
On shelf
0
Reserve
2 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login