Many-Valued Logic / J. Barkley Rosser, Atwell R. Turquette
| Many-Valued Logic / J. Barkley Rosser, Atwell R. Turquette |
| Autore | Rosser, John Barkley <1907-1989> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1952 |
| Descrizione fisica | 124 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001054700403321 |
Rosser, John Barkley <1907-1989>
|
||
| Amsterdam : North-Holland, 1952 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Many-valued logics / Barkley J. Rosser , Atwell R. Turquette
| Many-valued logics / Barkley J. Rosser , Atwell R. Turquette |
| Autore | Rosser, John Barkley <1907-1989> |
| Pubbl/distr/stampa | Amsterdam : North Holland publishing company, 1952 |
| Descrizione fisica | 124 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Matematica - Logica
Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000022190403321 |
| Rosser, John Barkley <1907-1989> | ||
| Amsterdam : North Holland publishing company, 1952 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||