LEADER 00955nam--2200337---450- 001 990003221430203316 005 20090420122123.0 035 $a000322143 035 $aUSA01000322143 035 $a(ALEPH)000322143USA01 035 $a000322143 100 $a20090420d1971----km-y0itay50------ba 101 $aeng 102 $aUK 105 $a||||||||001yy 200 1 $a<> theory of logical types$fCopi Irving M. 210 $aLondon$cRutledge & Kegan$d1971 215 $aX, 129 p.$d18 cm 225 2 $aMonographs in modern logic series 410 0$12001$aMonographs in modern logic series 606 0 $aLogica matematica 676 $a511.3 700 1$aCOPI,$bIrving M.$032722 801 0$aIT$bsalbc$gISBD 912 $a990003221430203316 951 $a511.3 COP$b4584/CBS$c511.3$d00216403 959 $aBK 969 $aSCI 979 $aRSIAV6$b90$c20090420$lUSA01$h1221 996 $aTheory of Logical Types$9344196 997 $aUNISA