TY  - SER
TI  - NOTRE DAME JOURNAL OF FORMAL LOGIC
SN  - 0029-4527
PY  - 1960///
CY  - NOTRE DAME, IN 
PB  - UNIVERSITY OF NOTRE DAME
ER  -