Počet záznamů: 1
On the scope of the completeness theorem for first-order predicate logic
SYS 0391878 LBL 00919^^^^^2200181^^^450 005 20240103202509.2 100 $a 20130422d m y slo 03 ba 101 0-
$a eng 102 $a PT 200 1-
$a On the scope of the completeness theorem for first-order predicate logic $f aut. Petr Cintula, Carles Noguera 463 -1
$1 001 cav_un_epca*0391872 $1 200 1 $a UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic $v S. 223-223 $1 210 $a Rio de Janeiro $c ECEME - Escola de Comando e Estado-Maior do Exército $d 2013 $1 702 1 $a Béziau $b J.Y. $4 340 $1 702 1 $a Buchsbaum $b A. $4 340 $1 702 1 $a Costa-Leite $b A. $4 340 $1 702 1 $a Altair $b A. $4 340 610 0-
$a abstract algebraic logic 610 0-
$a firts-order logics 610 0-
$a Henkin theories 610 0-
$a completeness theorem 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0290720 $a Noguera $b Carles $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1