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

by A Heyting
Venue:Belgique, Bulletin