ozef Pepis, Ein Verfahren der mathematischen Logik (1938)

by J
Venue:Journal of Symbolic Logic