TY - BOOK AU - Pierre Hoenen SJ TI - Recherches de logique formeile: la structure du systéme des syllogismes et des sorites PY - 1947/// CY - Rome PB - Universita Gregoriana KW - Logic, Symbolic ER -