Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 5 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 5 · NO. 1 | 1964
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 5, issue 1 (1964)
Notre Dame J. Formal Logic 5 (1), (1964) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Emil Artin, his life and his work.
Hans Zassenhaus
Notre Dame J. Formal Logic 5 (1), 1-9, (1964) DOI: 10.1305/ndjfl/1093957731 Open Access
KEYWORDS: 01.50
No abstract available
DOWNLOAD PAPER
A stronger form of a theorem of Friedberg.
Kempachiro Ohashi
Notre Dame J. Formal Logic 5 (1), 10-12, (1964) DOI: 10.1305/ndjfl/1093957732 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Commutative recursive word arithmetic in the alphabet of prime numbers.
Henry A. Pogorzelski
Notre Dame J. Formal Logic 5 (1), 13-23, (1964) DOI: 10.1305/ndjfl/1093957733 Open Access
KEYWORDS: 02.72
No abstract available
DOWNLOAD PAPER
A note on pseudo doubly creative pairs.
Thomas G. McLaughlin
Notre Dame J. Formal Logic 5 (1), 24-26, (1964) DOI: 10.1305/ndjfl/1093957734 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Direct consistency proof of Gentzen's system of natural deduction.
Andrés R. Raggio
Notre Dame J. Formal Logic 5 (1), 27-30, (1964) DOI: 10.1305/ndjfl/1093957735 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Concrete and abstract properties.
Guido Küng
Notre Dame J. Formal Logic 5 (1), 31-36, (1964) DOI: 10.1305/ndjfl/1093957736 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
A detailed argument for the Post-Linial theorems.
Mary Katherine Yntema
Notre Dame J. Formal Logic 5 (1), 37-50, (1964) DOI: 10.1305/ndjfl/1093957737 Open Access
KEYWORDS: 02.74
No abstract available
DOWNLOAD PAPER
A theorem of Sierpiński on triads and the axiom of choice.
Bolesław Sobociński
Notre Dame J. Formal Logic 5 (1), 51-58, (1964) DOI: 10.1305/ndjfl/1093957738 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
Modal systems in the neighbourhood of ${\rm T}$.
Ivo Thomas
Notre Dame J. Formal Logic 5 (1), 59-61, (1964) DOI: 10.1305/ndjfl/1093957739 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Further axiomatizations of the Ł ukasiewicz three-valued calculus.
Federico M. Sioson
Notre Dame J. Formal Logic 5 (1), 62-70, (1964) DOI: 10.1305/ndjfl/1093957740 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Remarks about axiomatizations of certain modal systems.
Bolesław Sobociński
Notre Dame J. Formal Logic 5 (1), 71-80, (1964) DOI: 10.1305/ndjfl/1093957741 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 5, issue 1 (1964)
Notre Dame J. Formal Logic 5 (1), (1964) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top