02494nam0 22006013i 450 VAN0028758520250429123626.690N978940092356020250224d1990 |0itac50 baengNL|||| |||||i e bcrComputation, Logic, PhilosophyA Collection of EssaysHao WangDordrechtKluwer ; BeijingScience1990xxvii, 373 p.24 cm001VAN000469942001 Mathematics and its applications. Chinese Series210 DordrechtKluwer200A30Philosophy of mathematics [MSC 2020]VANC020829MF01A75Collected or selected works; reprintings or translations of classics [MSC 2020]VANC021493MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MF68-XXComputer science [MSC 2020]VANC019670MFApproximationKW:KArtificial IntelligenceKW:KAutomated theorem provingKW:KBoolean satisfiability problemKW:KClassificationKW:KCommunicationsKW:KComplexityKW:KComputabilityKW:KInformationKW:KLogicKW:KMatchingKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KTheorem provingKW:KNLDordrechtVANL000068BeijingVANL001586WangHaoVANV0378367177Kluwer <editore>VANV108116650Science <editore>VANV108575650ITSOL20250725RICAhttps://doi.org/10.1007/978-94-009-2356-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00287585BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10722 08eMF10722 20250312 Computation, Logic, Philosophy4314998UNICAMPANIA