02322oam 2200625I 450 991080007860332120230725051740.01-136-81613-51-136-81614-31-283-04018-297866130401830-203-82955-710.4324/9780203829554 (CKB)2550000000031662(EBL)957957(OCoLC)798531715(SSID)ssj0000644454(PQKBManifestationID)11384152(PQKBTitleCode)TC0000644454(PQKBWorkID)10675428(PQKB)10655521(MiAaPQ)EBC957957(Au-PeEL)EBL957957(CaPaEBR)ebr10452637(CaONFJC)MIL304018(OCoLC)709802700(EXLCZ)99255000000003166220180706h20111971 uy 0engur|n|---|||||txtccrThe theory of logical types /Irving M. CopiAbingdon, Oxon [England] ;New York :Routlege,2011, c1971.1 online resource (66 p.)Routledge revivalsDescription based upon print version of record.0-415-61703-0 0-415-61627-1 Includes bibliographical references and index.1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types.This 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.Routledge revivals.Type theoryType theory.160Copi Irving, M.32722MiAaPQMiAaPQMiAaPQBOOK9910800078603321Theory of Logical Types344196UNINA