Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 1 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 1 · NO. 4 | 1960
 
VIEW ALL ABSTRACTS +
Articles
On recursive transcendence.
R. L. Goodstein, J. Hooley
Notre Dame J. Formal Logic 1 (4), 127-137, (1960) DOI: 10.1305/ndjfl/1093956617 Open Access
KEYWORDS: 02.72
No abstract available
DOWNLOAD PAPER
The formalizing of the topics in mediaeval logic.
Otto Bird
Notre Dame J. Formal Logic 1 (4), 138-149, (1960) DOI: 10.1305/ndjfl/1093956618 Open Access
No abstract available
DOWNLOAD PAPER
Die Theorie der Umgangssprache als interpretierter Kompositkalkül.
D. L. Székely
Notre Dame J. Formal Logic 1 (4), 150-170, (1960) DOI: 10.1305/ndjfl/1093956619 Open Access
KEYWORDS: 02.30
No abstract available
DOWNLOAD PAPER
On a recent allotment of probabilities to open and closed sentences.
Hugues Leblanc
Notre Dame J. Formal Logic 1 (4), 171-175, (1960) DOI: 10.1305/ndjfl/1093956620 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Errata: An extension algebra and the modal system ${\rm T}$.
E. J. Lemmon
Notre Dame J. Formal Logic 1 (4), 176-177, (1960) Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Errata: ``Studies in the axiomatic foundations of Boolean algebra. I.''
Czesław Lejewski
Notre Dame J. Formal Logic 1 (4), 176-177, (1960) Open Access
KEYWORDS: 02.42
No abstract available
DOWNLOAD PAPER
Errata: ``On the single axioms of the protothetic. I.''
Bolesław Sobociński
Notre Dame J. Formal Logic 1 (4), 176-177, (1960) Open Access
No abstract available
DOWNLOAD PAPER
Errata for Notre Dame Journal of Formal Logic, volume 1.
Notre Dame J. Formal Logic 1 (4), 176-177, (1960) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top