Současný stav ve výzkumu základů matematiky
Gerhard Gentzen (1992)
Pokroky matematiky, fyziky a astronomie
Similarity:
Displaying similar documents to “Problém tzv. absolutně nerozhodnutelných vět teorie čísel”
Současný stav ve výzkumu základů matematiky
O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)
Jiří Bečvář (1971)
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:
Giuseppe Peano (1859—1932). Logika a teorie dimenze
Petr Štěpánek (1982)
Pokroky matematiky, fyziky a astronomie
Similarity: