Info
Proof theory / Gaisi Takeuti
| Proof theory / Gaisi Takeuti |
| Autore | TAKEUTI, Gaisi |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1975 |
| Descrizione fisica | VII, 372 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logica matematica |
| ISBN | 0-7204-2277-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003229690203316 |
TAKEUTI, Gaisi
|
||
| Amsterdam : North-Holland, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Two applications of logic to mathematics / Gaisi Takeuti
| Two applications of logic to mathematics / Gaisi Takeuti |
| Autore | TAKEUTI, Gaisi |
| Pubbl/distr/stampa | s.l. : Iwanami Shoten Publishers and Princeton University Press, copyr. 1978 |
| Descrizione fisica | VIII, 137 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Publications of the mathematical society of Japan |
| Soggetto topico |
Logica matematica
Logica simbolica - Algebra booleana |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003226850203316 |
|
TAKEUTI, Gaisi
|
||
| s.l. : Iwanami Shoten Publishers and Princeton University Press, copyr. 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||