Notre Dame Journal of Formal Logic

162	--	170	Thoralf Skolem. Studies on the axiom of comprehension
171	--	187	C. A. Meredith, A. N. Prior. Notes on the axiomatics of the propositional calculus
188	--	192	Karl Menger, Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions
193	--	200	Florencio G. Asenjo. Relations irreducible to classes
201	--	205	Elliott Mendelson. On some recent criticism of Church's Thesis
206	--	215	S. K. Sehgal. Jacobson theory of ringoids
216	--	223	Setsuo Saito. Truth value assignment in predicate calculus of first order
224	--	226	Charles E. Caton. A stipulation of a modal propositional calculus in terms of modalized truth-values
227	--	230	J. Jay Zeman. Bases for S4 and S4.2 without added axioms
231	--	232	Ivo Thomas. A final note on S1° and the Brouwerian axioms
233	--	240	Boleslaw Sobocinski. A note on the generalized continuum hypothesis. III

External Links