Mathematical logic / Kleene Stephen Cole
| 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
| 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 | ||
| ||