Problém tzv. absolutně nerozhodnutelných vět teorie čísel
Ladislav Rieger (1960)
Časopis pro pěstování matematiky
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 “Ke kritice Churchovy teze o obecně rekursivních funkcích aritmetiky”
Problém tzv. absolutně nerozhodnutelných vět teorie čísel
O některých základních otázkách matematické logiky
Ladislav Rieger (1956)
Časopis pro pěstování matematiky
Similarity:
Giuseppe Peano (1859—1932). Logika a teorie dimenze
Petr Štěpánek (1982)
Pokroky matematiky, fyziky a astronomie
Similarity: