0521371813
IR
EN-53030
انگلیسی
IR
Proofs and types
[Book]
/ Jean-Yves Girard
; translated and with appendices by Paul Taylor, Yves Lafont
Cambridge
: Cambridge University Press,
, c1989.
xi, 176 p.
(Cambridge tracts in theoretical computer science 7)
Electronic
Includes bibliographical references and index.
Proof theory
Logic, Symbolic and mathematical
Type theory
E-BOOK
Girard, Jean-Yves.
Taylor, Paul, Ph. D
Lafont, Yves
ایران
0521371813.pdf
عادی
عادی
0521371813.pdf
متن
old catalog
e
BL
1
a
Y
