Počet záznamů: 1
Recursive functions and existentially closed structures
- 1.
SYSNO 0524146 Název Recursive functions and existentially closed structures Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Korespondující/senior Jeřábek, Emil - Korespondující autor Zdroj.dok. Journal of Mathematical Logic. Roč. 20, č. 1 (2020). - : World Scientific Publishing Číslo článku 2050002 Druh dok. Článek v odborném periodiku Grant IAA100190902 GA AV ČR - Akademie věd GBP202/12/G061 GA ČR - Grantová agentura ČR Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. SG Klíč.slova classification theory * relative interpretation * representability of recursive functions URL https://doi.org/10.1142/S0219061320500026 Trvalý link http://hdl.handle.net/11104/0308510 Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 753.9 KB Vydavatelský postprint vyžádat
Počet záznamů: 1