Syntaktické metody matematické logiky
Petr Hájek (1966)
Pokroky matematiky, fyziky a astronomie
Similarity:
Displaying similar documents to “O jedné základní větě matematické logiky”
Syntaktické metody matematické logiky
O vztahu formy a obsahu v matematice a logice. II
Jiří Hořejš, Alois Glanc (1967)
Pokroky matematiky, fyziky a astronomie
Similarity:
O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)
Jiří Bečvář (1971)
Pokroky matematiky, fyziky a astronomie
Similarity:
Ladislav Svante Rieger (1916–1963)
Pecinová, Eliška
Similarity:
Problém tzv. absolutně nerozhodnutelných vět teorie čísel
Ladislav Rieger (1960)
Časopis pro pěstování matematiky
Similarity: