TY  - SER
TI  - Notre Dame Journal of Formal Logic [electronic resource]
SN  - Online : 
PB  - University of Notre Dame
UR  - http://www.projecteuclid.org/euclid.ndjfl
ER  -