TY  - GEN
AU  - Andrews, Peter
TI  - General models, descriptions and choice in type theory
PY  - 1971///
CY  - Carnegie-Mellon
PB  - University Carnegie-Mellon
N1  - Contine bibliografie
ER  -