O vztahu formy a obsahu v matematice a logice. II
Jiří Hořejš, Alois Glanc (1967)
Pokroky matematiky, fyziky a astronomie
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: