The theory of logical types / / Irving M. Copi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Copi Irving, M.
|
| Titolo: |
The theory of logical types / / Irving M. Copi
|
| Pubblicazione: | Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 |
| Descrizione fisica: | 1 online resource (66 p.) |
| Disciplina: | 160 |
| Soggetto topico: | Type theory |
| Soggetto genere / forma: | Electronic books. |
| 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 |
| ISBN: | 1-136-81613-5 |
| 1-136-81614-3 | |
| 1-283-04018-2 | |
| 9786613040183 | |
| 0-203-82955-7 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910456892603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Routledge revivals.