Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 6 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 6 · NO. 3 | 1965
 
VIEW ALL ABSTRACTS +
Articles
Sur un théorème équivalent à l'axiome du choix.
W. Sierpiński
Notre Dame J. Formal Logic 6 (3), 161-162, (1965) DOI: 10.1305/ndjfl/1093958252 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice.
William J. Frascella
Notre Dame J. Formal Logic 6 (3), 163-179, (1965) DOI: 10.1305/ndjfl/1093958253 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
Note on a theorem of W. Sierpiński.
Vladeta Vučković
Notre Dame J. Formal Logic 6 (3), 180-182, (1965) DOI: 10.1305/ndjfl/1093958254 Open Access
KEYWORDS: 05.04
No abstract available
DOWNLOAD PAPER
A note on continuous games, the notion of strategy and Zermelo's axiom.
Celso de Renna e Souza
Notre Dame J. Formal Logic 6 (3), 183-189, (1965) DOI: 10.1305/ndjfl/1093958255 Open Access
KEYWORDS: 90.70
No abstract available
DOWNLOAD PAPER
A note on the axiomatization of Rubin's system $(S)$.
John Thomas Canty
Notre Dame J. Formal Logic 6 (3), 190-192, (1965) DOI: 10.1305/ndjfl/1093958256 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
The substitution schema in recursive arithmetic.
R. D. Lee
Notre Dame J. Formal Logic 6 (3), 193-200, (1965) DOI: 10.1305/ndjfl/1093958257 Open Access
KEYWORDS: 02.72
No abstract available
DOWNLOAD PAPER
The written liar and Thomas Oliver.
Ivo Thomas
Notre Dame J. Formal Logic 6 (3), 201-208, (1965) DOI: 10.1305/ndjfl/1093958258 Open Access
No abstract available
DOWNLOAD PAPER
Axiomatization of propositional calculus with Sheffer functors.
Thomas W. Scharle
Notre Dame J. Formal Logic 6 (3), 209-217, (1965) DOI: 10.1305/ndjfl/1093958259 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic.
Albert A. Mullin
Notre Dame J. Formal Logic 6 (3), 218-222, (1965) DOI: 10.1305/ndjfl/1093958260 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
The arithmetic of the term-relation number theory.
F. G. Asenjo
Notre Dame J. Formal Logic 6 (3), 223-228, (1965) DOI: 10.1305/ndjfl/1093958261 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
Strong reducibility on hypersimple sets.
T. G. McLaughlin
Notre Dame J. Formal Logic 6 (3), 229-234, (1965) DOI: 10.1305/ndjfl/1093958262 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
On induction.
Rolf Schock
Notre Dame J. Formal Logic 6 (3), 235-240, (1965) DOI: 10.1305/ndjfl/1093958263 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
Back to Top