Počet záznamů: 1
Recursive functions and existentially closed structures
SYS 0524146 LBL 01000a^^22220027750^450 005 20240103224025.3 014 $a 85070808340 $2 SCOPUS 014 $a 000535160700005 $2 WOS 017 $a 10.1142/S0219061320500026 $2 DOI 100 $a 20200507d m y slo 03 ba 101 $a eng $d eng 102 $a SG 200 1-
$a Recursive functions and existentially closed structures 215 $a 52 s. 463 -1
$1 001 cav_un_epca*0327745 $1 011 $a 0219-0613 $e 1793-6691 $1 200 1 $a Journal of Mathematical Logic $v Roč. 20, č. 1 (2020) $1 210 $c World Scientific Publishing 610 $a classification theory 610 $a relative interpretation 610 $a representability of recursive functions 700 -1
$3 cav_un_auth*0219256 $4 070 $a Jeřábek $b Emil $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $z K $T Matematický ústav AV ČR, v. v. i. 856 $9 RIV $u https://doi.org/10.1142/S0219061320500026
Počet záznamů: 1