03F40 Gödel numberings in proof theory (1 articles)
Dostálová, Ludmila:
Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti.
(Czech) [Hilbert's programme: on the change of mathematical practice before and after incompleteness theorems of Gödel].
In:
Bečvář, Jindřich (editor); Bečvářová, Martina: Matematika v proměnách věků. VI.
(Czech). : , 2010. pp. 175-185
