Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
E. Lopez-Escobar (1967)
Fundamenta Mathematicae
Similarity:
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity:
W. A. Howard (1968)
Compositio Mathematica
Similarity:
Henk Barondregt (1974)
Fundamenta Mathematicae
Similarity:
Jan Krajíček (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity: