Počet záznamů: 1
On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory
SYS 0343863 LBL 00657^^^^^2200169^^^450 005 20240103193609.7 014 $a 000313837700008 $2 WOS 014 $a 84872760781 $2 SCOPUS 017 $a 10.1093/jigpal/jzq019 $2 DOI 100 $a 20100611d m y slo 03 ba 101 0-
$a eng 102 $a GB 200 1-
$a On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory 215 $a 10 s. 463 -1
$1 001 cav_un_epca*0258358 $1 011 $a 1367-0751 $e 1368-9894 $1 200 1 $a Logic Journal of the IGPL $v Roč. 21, č. 1 (2013), s. 91-100 $1 210 $c Oxford University Press 610 0-
$a Lukasiewicz logic 610 0-
$a Cantor set theory 610 0-
$a full comprehension 700 -1
$3 cav_un_auth*0100752 $a Hájek $b Petr $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