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.
A Logical Journey : From Godel to Philosophy / Hao Wang
| A Logical Journey : From Godel to Philosophy / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Cambridge [etc.] : The MIT Press, 11996 |
| Descrizione fisica | xiv, 391 p. ; 23 cm |
| Disciplina | 509 |
| Collana | Representation and Mind |
| Soggetto non controllato | Storia della logica e probabilità |
| ISBN | 0-262-23189-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001358030403321 |
Wang, Hao
|
||
| Cambridge [etc.] : The MIT Press, 11996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A survey of mathematical logic / Hao Wang
| A survey of mathematical logic / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Peking : Science Press, 1963 |
| Descrizione fisica | x, 651 p. ; 25 cm |
| Disciplina |
511.3
519 |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002560060403321 |
|
Wang, Hao
|
||
| Peking : Science Press, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beyond analytic philosophy : doing justice to what we know / Hao Wang
| Beyond analytic philosophy : doing justice to what we know / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Cambridge, Mass. ; London, : The MIT Press, 1986 |
| Descrizione fisica | 273 p. ; 24 cm |
| Soggetto non controllato |
Filosofia analitica
Analisi (Filosofia) Logica |
| ISBN | 0262231247 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910746788303321 |
|
Wang, Hao
|
||
| Cambridge, Mass. ; London, : The MIT Press, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated theorem proving Boolean satisfiability problem Classification Communication Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
|
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dalla matematica alla filosofia / di WANG Hao.
| Dalla matematica alla filosofia / di WANG Hao. |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Torino : Boringhieri, 1984 |
| Collana | Serie di logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001202670403321 |
|
Wang, Hao
|
||
| Torino : Boringhieri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dalla matematica alla filosofia / Hao Wang
| Dalla matematica alla filosofia / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1984 |
| Descrizione fisica | 448 p. ; 24 cm |
| Soggetto topico | 00A30 - Philosophy of mathematics [MSC 2020] |
| ISBN | 978-88-339-2765-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0047559 |
|
Wang, Hao
|
||
| Torino, : Boringhieri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dalla matematica alla filosofia / Hao Wang
| Dalla matematica alla filosofia / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1984 |
| Descrizione fisica | 448 p. ; 24 cm |
| Soggetto topico | 00A30 - Philosophy of mathematics [MSC 2020] |
| ISBN | 978-88-339-2765-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00047559 |
|
Wang, Hao
|
||
| Torino, : Boringhieri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dalla matematica alla filosofia / Hao Wang
| Dalla matematica alla filosofia / Hao Wang |
| Autore | Wang, Hao |
| Edizione | [Torino : Boringhieri] |
| Descrizione fisica | Trad. di Alberto Giacomelli. |
| Soggetto topico | 00A30 - Philosophy of mathematics [MSC 2020] |
| ISBN | 978-88-339-9175-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0047559 |
|
Wang, Hao
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dalla matematica alla filosofia / Hao Wang
| Dalla matematica alla filosofia / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Torino : Boringhieri, c1984 |
| Descrizione fisica | 448 p. ; 24 cm |
| Disciplina | 510.1 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico |
Critics of mathematics
Philosophy of mathematics |
| Classificazione | AMS 03A05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000805369707536 |
|
Wang, Hao
|
||
| Torino : Boringhieri, c1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Dalla matematica alla filosofia / Hao Wang
| Dalla matematica alla filosofia / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1984 |
| Descrizione fisica | 448 p. ; 24 cm |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico |
Logica matematica
Matematica e filosofia |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002518819707536 |
|
Wang, Hao
|
||
| Torino : Bollati Boringhieri, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
