Sur la logique intuitionniste, Académie Royale de (1930)

by A Heyting
Venue:Belgique, Bulletin