- Ivo Thomas:
Modal systems in the neighbourhood of T. Notre Dame J. Formal Log. 5(1): 59-61 (1964) - Ivo Thomas:
A note on self-referential statements. Notre Dame J. Formal Log. 5(3): 218-220 (1964) - Ivo Thomas:
Universal variable non-Tarskian functors. Notre Dame J. Formal Log. 5(3): 221-222 (1964) - Ivo Thomas:
Decision procedures for S20 and T0. Notre Dame J. Formal Log. 5(4): 319-320 (1964) - Vladeta Vuckovic:
On a class of regular sets. Notre Dame J. Formal Log. 5(2): 113-124 (1964) - William A. Wisdom:
Possibility-elimination in natural deduction. Notre Dame J. Formal Log. 5(4): 295-298 (1964) - Mary Katherine Yntema:
A detailed argument for the Post-Linial theorems. Notre Dame J. Formal Log. 5(1): 37-50 (1964) - Hans Zassenhaus:
Emil Artin, his life and his work. Notre Dame J. Formal Log. 5(1): 1-9 (1964)