TY - SER ED - University of Notre Dame. TI - Notre Dame journal of formal logic SN - 0029-452 U1 - 160.5 PY - 1932///- CY - Notre Dame, Ind. : PB - University of Notre Dame, KW - Logic KW - Periodicals KW - Logic, Symbolic and mathematical N1 - Latest issue consulted: Vol. 27, No. 4 (Oct. 1986) ER -