LEADER 02356oam 2200637I 450 001 9910456892603321 005 20200520144314.0 010 $a1-136-81613-5 010 $a1-136-81614-3 010 $a1-283-04018-2 010 $a9786613040183 010 $a0-203-82955-7 024 7 $a10.4324/9780203829554 035 $a(CKB)2550000000031662 035 $a(EBL)957957 035 $a(OCoLC)798531715 035 $a(SSID)ssj0000644454 035 $a(PQKBManifestationID)11384152 035 $a(PQKBTitleCode)TC0000644454 035 $a(PQKBWorkID)10675428 035 $a(PQKB)10655521 035 $a(MiAaPQ)EBC957957 035 $a(Au-PeEL)EBL957957 035 $a(CaPaEBR)ebr10452637 035 $a(CaONFJC)MIL304018 035 $a(OCoLC)709802700 035 $a(EXLCZ)992550000000031662 100 $a20180706h20111971 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe theory of logical types /$fIrving M. Copi 210 1$aAbingdon, Oxon [England] ;$aNew York :$cRoutlege,$d2011, c1971. 215 $a1 online resource (66 p.) 225 1 $aRoutledge revivals 300 $aDescription based upon print version of record. 311 $a0-415-61703-0 311 $a0-415-61627-1 320 $aIncludes bibliographical references and index. 327 $a1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types. 330 $aThis reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a sufficiently rigorous exposition for the serious student to see exactly what the theory is and how it works. 410 0$aRoutledge revivals. 606 $aType theory 608 $aElectronic books. 615 0$aType theory. 676 $a160 700 $aCopi$b Irving, M.$032722 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456892603321 996 $aTheory of Logical Types$9344196 997 $aUNINA