Eine Interpretation des intuitionistischen Aussagenkalküls (1933)

by K Gödel
Venue:Ergebnisse Math. Koll