LEADER 00852nam0-22003011i-450-
001 990001074770403321
010   $a0-7204-2267-1
035   $a000107477
035   $aFED01000107477
035   $a(Aleph)000107477FED01
035   $a000107477
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>Theory of Semisets$fPetr Vopenka and Petr Hajek
210   $aAmsterdam [etc.]$cNorth-Holland$d1972
215   $a332 p.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics$vvol. 70
610 0 $aTeoria degli insiemi
676   $a160
700  1$aVopenka,$bPetr$051136
702  1$aHajek,$bPetr
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001074770403321
952   $a7A-034$b8666$fFI1
959   $aFI1
996   $aTheory of Semisets$9336318
997   $aUNINA

LEADER 00575oam  2200193z- 450 
001 9910554100503321
010   $a1-66544-507-6
035   $a(CKB)4100000012203959
035   $a(EXLCZ)994100000012203959
100   $a20220628c2021uuuu  -u-            -
101 0 $aeng
200 00$a2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
210   $cIEEE
311   $a1-66544-508-4 
517   $a2021 IEEE/ACM International Conference On Computer Aided Design 
906   $aPROCEEDING
912   $a9910554100503321
996   $a2021 IEEE$92518023
997   $aUNINA