Logic for mathematicians / Barkley J. Rosser |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York : McGraw-Hill, 1953 |
Descrizione fisica | XIV, 530 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Soggetto non controllato |
Logica matematica
Matematica - Logica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000022180403321 |
Rosser, John Barkley <1907-1989> | ||
New York : McGraw-Hill, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|