Begründung Einer Strengen implikation (1956)

by WILHELM ACKERMANN
Venue:Journal of Symbolic Logic