Algebra of proofs / M.E. Szabo |
Autore | Szabo, Manfred Egon |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
Descrizione fisica | xii, 297 p. ; 23 cm |
Disciplina | 160 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-7204-2286-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001068000403321 |
Szabo, Manfred Egon | ||
Amsterdam : North-Holland, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The collected papers of Gerhard Gentzen / M. E. Szabo ; A. Heyting...[et al.] (Eds.) |
Autore | SZABO, M.E. |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1969 |
Descrizione fisica | XIII, 338 p. : ill. ; 23 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Logica matematica |
ISBN | 7204-2254-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003228700203316 |
SZABO, M.E. | ||
Amsterdam : North-Holland, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|