Symbolic logic / Irving M. Copi |
Autore | Copi, Irving M. |
Edizione | [4th ed] |
Pubbl/distr/stampa | New York : The Macmillan, c1973 |
Descrizione fisica | xiii, 350 p. ; 24 cm. |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001405259707536 |
Copi, Irving M.
![]() |
||
New York : The Macmillan, c1973 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
The theory of logical types / Copi Irving M. |
Autore | COPI, Irving M. |
Pubbl/distr/stampa | London : Rutledge & Kegan, 1971 |
Descrizione fisica | X, 129 p. ; 18 cm |
Disciplina | 511.3 |
Collana | Monographs in modern logic series |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003221430203316 |
COPI, Irving M.
![]() |
||
London : Rutledge & Kegan, 1971 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Theory of Logical Types / by Irving M. Copi |
Autore | Copi, Irving M. |
Pubbl/distr/stampa | London : Routledge & Kegan Paul, 1971 |
Descrizione fisica | x, 129 p. ; 18 cm |
Disciplina | 160 |
Collana | Monographs in Modern Logic Series |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-7100-7026-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000977960403321 |
Copi, Irving M.
![]() |
||
London : Routledge & Kegan Paul, 1971 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Theory of Logical Types / by Copi |
Autore | Copi, Irving M. |
Pubbl/distr/stampa | Londra : Routledge & Kegan Paul, 1971 |
Collana | Monographs in Modern Logic Series |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001140750403321 |
Copi, Irving M.
![]() |
||
Londra : Routledge & Kegan Paul, 1971 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The theory of logical types / / Irving M. Copi |
Autore | Copi Irving, M. |
Pubbl/distr/stampa | Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 |
Descrizione fisica | 1 online resource (66 p.) |
Disciplina | 160 |
Collana | Routledge revivals |
Soggetto topico | Type theory |
Soggetto genere / forma | Electronic books. |
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 | eng |
Nota di contenuto | 1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types. |
Record Nr. | UNINA-9910456892603321 |
Copi Irving, M.
![]() |
||
Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The theory of logical types / / Irving M. Copi |
Autore | Copi Irving, M. |
Pubbl/distr/stampa | Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 |
Descrizione fisica | 1 online resource (66 p.) |
Disciplina | 160 |
Collana | Routledge revivals |
Soggetto topico | Type theory |
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 | eng |
Nota di contenuto | 1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types. |
Record Nr. | UNINA-9910781295103321 |
Copi Irving, M.
![]() |
||
Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The theory of logical types / / Irving M. Copi |
Autore | Copi Irving, M. |
Pubbl/distr/stampa | Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 |
Descrizione fisica | 1 online resource (66 p.) |
Disciplina | 160 |
Collana | Routledge revivals |
Soggetto topico | Type theory |
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 | eng |
Nota di contenuto | 1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types. |
Record Nr. | UNINA-9910800078603321 |
Copi Irving, M.
![]() |
||
Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The theory of logical types / / Irving M. Copi |
Autore | Copi Irving, M. |
Pubbl/distr/stampa | Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 |
Descrizione fisica | 1 online resource (66 p.) |
Disciplina | 160 |
Collana | Routledge revivals |
Soggetto topico | Type theory |
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 | eng |
Nota di contenuto | 1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types. |
Record Nr. | UNINA-9910816922103321 |
Copi Irving, M.
![]() |
||
Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|