Computation, Logic, Philosophy : A Collection of Essays / Hao Wang

• Autore: Wang, Hao
• Pubblicazione: 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; Communications; Complexity; Computability; Information; Logic; Matching; Model theory; Proofs; Set Theory; Theorem proving
• Titolo autorizzato: Computation, Logic, Philosophy
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00287585
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-94-009-2356-0
• Serie: Mathematics and its applications. Chinese Series Dordrecht . -Kluwer ; 2