Volume 5; Issue 1

Notre Dame Journal of Formal Logic

Volume 5; Issue 1
1

Concrete and abstract properties.

Küng, Guido
Journal:
Notre Dame Journal of Formal Logic
Year:
1964
Language:
english
File:
PDF, 795 KB
english, 1964
2

Direct consistency proof of Gentzen's system of natural deduction.

Raggio, Andrés R.
Journal:
Notre Dame Journal of Formal Logic
Year:
1964
Language:
english
File:
PDF, 447 KB
english, 1964
3

Emil Artin, his life and his work.

Zassenhaus, Hans
Journal:
Notre Dame Journal of Formal Logic
Year:
1964
Language:
english
File:
PDF, 1.06 MB
english, 1964
4

A detailed argument for the Post-Linial theorems.

Yntema, Mary Katherine
Journal:
Notre Dame Journal of Formal Logic
Year:
1964
Language:
english
File:
PDF, 1.27 MB
english, 1964
5

Remarks about axiomatizations of certain modal systems.

Sobociński, Bolesław
Journal:
Notre Dame Journal of Formal Logic
Year:
1964
Language:
english
File:
PDF, 834 KB
english, 1964
6

A theorem of Sierpiński on triads and the axiom of choice.

Sobociński, Bolesław
Journal:
Notre Dame Journal of Formal Logic
Year:
1964
Language:
english
File:
PDF, 632 KB
english, 1964