عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.1104
QA
1
.
L4
v
.
1104
کتابخانه
محل استقرار
English
Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
Berlin
Springer-Verlag
1984
475p.
Lecture notes in mathematics; 4011
Includes bibliographies
edite by M. M. Richter, ... ]et al.[
1
Congresses ، Proof theory
QA
1
.
L4
v
.
1104
TI
AU Richter, M. M.
SE
