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.
Computation, logic, philosophy : A collection of Essays / Wang Hao.
| Computation, logic, philosophy : A collection of Essays / Wang Hao. |
| Autore | Hao, Wang |
| Pubbl/distr/stampa | Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 |
| Descrizione fisica | XXVII, 373 p. ; 24 cm |
| Disciplina | 511 |
| Soggetto non controllato |
Logica generale
Teoria della ricorsivita' |
| ISBN | 7-03-000211-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001324800403321 |
Hao, Wang
|
||
| Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Les systèmes axiomatiques de la Théorie des ensembles / Wang Hao, Robert Mc Naughton
| Les systèmes axiomatiques de la Théorie des ensembles / Wang Hao, Robert Mc Naughton |
| Autore | Hao, Wang |
| Pubbl/distr/stampa | Paris : Gauthier Villars, 1953 |
| Descrizione fisica | 55 p. ; 25 cm |
| Disciplina | 512 |
| Collana | Collectione de logique mathématique |
| Soggetto non controllato | Teoria dei numeri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002576020403321 |
|
Hao, Wang
|
||
| Paris : Gauthier Villars, 1953 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||