02356oam 2200637I 450 991045689260332120200520144314.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 theoryElectronic books.Type theory.160Copi Irving, M.32722MiAaPQMiAaPQMiAaPQBOOK9910456892603321Theory of Logical Types344196UNINA