Entailment : The Logic of Relevance and Necessity / by Alan Ross Anderson and Nuel D. Belnap, Jr. ; with contributions by J. Michael Dunn ... [et al.]
| Entailment : The Logic of Relevance and Necessity / by Alan Ross Anderson and Nuel D. Belnap, Jr. ; with contributions by J. Michael Dunn ... [et al.] |
| Autore | Anderson, Alan Ross |
| Pubbl/distr/stampa | Princeton [N.J.] : Cambridge University Press, 1975 |
| Descrizione fisica | xxxii, 542 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-691-07192-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000953640403321 |
Anderson, Alan Ross
|
||
| Princeton [N.J.] : Cambridge University Press, 1975 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern uses of multiple-valued logic : invited papers fromthe fifth International Symposium on Multiple-Valued Logic held at Indiana University, Bloomington, Indiana, May 13-16, 1975, with a bibliography of Many-Valued Logic by Robert G. Wolf / edited by J. Michael Dunn and George Epstein
| Modern uses of multiple-valued logic : invited papers fromthe fifth International Symposium on Multiple-Valued Logic held at Indiana University, Bloomington, Indiana, May 13-16, 1975, with a bibliography of Many-Valued Logic by Robert G. Wolf / edited by J. Michael Dunn and George Epstein |
| Pubbl/distr/stampa | Dordrecht[etc.] : D. Reidel Publishing Company, c1977 |
| Descrizione fisica | 338 p. ; 23 cm. |
| Disciplina | 511.3 |
| Collana | Episteme |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 90-277-0747-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011620 |
| Dordrecht[etc.] : D. Reidel Publishing Company, c1977 | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||