Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Displaying similar documents to “Towards finishing off the axiom of reducibility”
Attributes, sets, partial sets and identity
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
A formalism for treating equivalence of recursive procedures
Alex Pelin (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Meaningfulness and the Erlanger program of Felix Klein
L. Narens (1988)
Mathématiques et Sciences Humaines
Similarity:
Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
Set existence principles of Shoenfield, Ackermann, and Powell
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity: