TY  - BOOK
AU  - Prior A N
TI  - Doctrine of propositions and terms
U1  - R1v, L6 
PY  - 1976///
CY  - London
PB  - Duckworth          
ER  -