Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse (1986)

by K Gödel
Venue:Gödel Collected Works