Vai al contenuto principale della pagina

The theory of logical types / / Irving M. Copi

(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Copi Irving, M. Visualizza persona
Titolo: The theory of logical types / / Irving M. Copi Visualizza cluster
Pubblicazione: Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971
Descrizione fisica: 1 online resource (66 p.)
Disciplina: 160
Soggetto topico: Type theory
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: 1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types.
Sommario/riassunto: 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.
Titolo autorizzato: Theory of Logical Types  Visualizza cluster
ISBN: 1-136-81613-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910816922103321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Routledge revivals.