TY  - BOOK
AU  - Prior, Arthur N.
AU  - ill.
TI  - Past, present and future
AV  - BC135.P775 
CY  - Oxford
KW  - Logic, symbolic and mathematical
ER  -