TY  - GEN
AU  - Jongh, Dick
TI  - Much shorter proofs
PY  - 1987///
CY  - Amsterdam
PB  - University Amsterdam
N1  - Contine bibliografie
ER  -