O vztahu formy a obsahu v matematice a logice. II
Jiří Hořejš, Alois Glanc (1967)
Pokroky matematiky, fyziky a astronomie
Similarity:
Displaying similar documents to “O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)”
O vztahu formy a obsahu v matematice a logice. II
Současný stav ve výzkumu základů matematiky
Gerhard Gentzen (1992)
Pokroky matematiky, fyziky a astronomie
Similarity:
O vztahu formy a obsahu v matematice a logice. I
Jiří Hořejš (1965)
Pokroky matematiky, fyziky a astronomie
Similarity:
Syntaktické metody matematické logiky
Petr Hájek (1966)
Pokroky matematiky, fyziky a astronomie
Similarity:
Doslov k překladu Gentzenova článku „Současný stav ve výzkumu základů matematiky‟
Pavel Pudlák (1992)
Pokroky matematiky, fyziky a astronomie
Similarity: