A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
K. Wiśniewski (1972)
Fundamenta Mathematicae
Similarity:
M. Jelić (1990)
Matematički Vesnik
Similarity:
M. Bleicher (1964)
Fundamenta Mathematicae
Similarity:
Rolando Chuaqui
Similarity:
CONTENTSIntroduction............................................................................................................ 5I. Axiom system and elementary consequences........................................... 61. Axioms........................................................................................................................ 62. Definitions and elementary consequences........................................................ 9II. Principles of definitions by recursion..............................................................
Alfred Tarski (1939)
Fundamenta Mathematicae
Similarity:
L. Narens (1988)
Mathématiques et Sciences Humaines
Similarity:
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity: