TY  - GEN
TI  - Provability in elementary type theory
PY  - 1972///
CY  - Carnegie-Mellon
PB  - University Carnegie-Mellon
N1  - Contine bibliografie
ER  -