Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Introduction to Metamathematics / Stephen Cole Kleene
| Introduction to Metamathematics / Stephen Cole Kleene |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | Amsterdam : North Holland, 1964 |
| Descrizione fisica | x, 550 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Bibliotheca mathematica |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002560150403321 |
Kleene, Stephen Cole <1909- >
|
||
| Amsterdam : North Holland, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to metamathematics / by Kleene
| Introduction to metamathematics / by Kleene |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | Nordhof : North-Holland, 1959 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001259140403321 |
|
Kleene, Stephen Cole <1909- >
|
||
| Nordhof : North-Holland, 1959 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to metamathematics / by Kleen e
| Introduction to metamathematics / by Kleen e |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | s.l. : North-Holland, 1952 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001259150403321 |
|
Kleene, Stephen Cole <1909- >
|
||
| s.l. : North-Holland, 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to metamathematics / by Stephen Cole Kleene
| Introduction to metamathematics / by Stephen Cole Kleene |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1952 |
| Descrizione fisica | x, 543 p. ; 25 cm |
| Disciplina | 510.B |
| Collana | Bibliotheca Mathematica |
| Soggetto non controllato | Storia della logica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001016660403321 |
|
Kleene, Stephen Cole <1909- >
|
||
| Amsterdam : North-Holland, 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to metamathematics / by Stephen Cole Kleene
| Introduction to metamathematics / by Stephen Cole Kleene |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | Amsterdam, : North-Holland, 1952 |
| Descrizione fisica | X, 550 p. ; 25 cm |
| Disciplina | 510 |
| Collana | Bibliotheca mathematica |
| Soggetto non controllato |
Matematica
Fondamenti della logica matematica e probabilità Storia della logica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000013640403321 |
|
Kleene, Stephen Cole <1909- >
|
||
| Amsterdam, : North-Holland, 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic / Stephen Cole Kleene
| Mathematical logic / Stephen Cole Kleene |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | New York : John Wiley, 1967 |
| Descrizione fisica | XIII, 398 p. : ill. ; 24 cm |
| Disciplina |
160
511.3 |
| Soggetto non controllato |
Logica
Ricorsività Analisi matematica Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001259160403321 |
|
Kleene, Stephen Cole <1909- >
|
||
| New York : John Wiley, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The foundations of intuitionistic mathematics, especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley
| The foundations of intuitionistic mathematics, especially in relation to recursive functions / [by] Stephen Cole Kleene [and] Richard Eugene Vesley |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | Amsterdam : North-Holland Pub. Co., 1965 |
| Descrizione fisica | viii, 206 p. ; 23 cm |
| Disciplina |
511.3
519 |
| Altri autori (Persone) | Vesley, Richard Eugene |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica e fondamenti
Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002576370403321 |
|
Kleene, Stephen Cole <1909- >
|
||
| Amsterdam : North-Holland Pub. Co., 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||