عنوان
پدید آورنده
موضوع
رده
QA 9.54 .G57 1987
QA
9
.
54
.
G57
1987
کتابخانه
محل استقرار
Proof theory and logical complexity
Napoli
Bibliopolis
c1987
v. <1 >
1
1
Studies in proof theory. Monographs; 1
Includes index
Bibliography: V. 1, p.]497[-500
ISBN: 8870881237
Jean-Yves Girard
1
2
، Proof theory
QA
9
.
54
.
G57
1987
Girard, Jean-Yves
AU
TI
TI Logical complexity
SE
