Mathematical logic / Kleene Stephen Cole |
Autore | KLEENE, Stephen Cole |
Pubbl/distr/stampa | New York : John Wiley, 1967 |
Descrizione fisica | XIII, 398 p. ; 23 cm |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003223940203316 |
KLEENE, Stephen Cole
![]() |
||
New York : John Wiley, 1967 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley |
Autore | KLEENE, Stephen Cole |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1965 |
Descrizione fisica | VIII, 206 p. : ill. ; 23 cm |
Disciplina | 515 |
Altri autori (Persone) | VESLEY, Richard Eugene |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico | Algebra |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003229260203316 |
KLEENE, Stephen Cole
![]() |
||
Amsterdam : North-Holland, 1965 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|