Some concepts concerning formal systems
โ
Georg Kreisel
๐
Article
๐
1952
๐
Springer-Verlag
๐
French
โ 621 KB