LEADER 02494nam0 22006013i 450 001 VAN00287585 005 20250429123626.690 017 70$2N$a9789400923560 100 $a20250224d1990 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aComputation, Logic, Philosophy$eA Collection of Essays$fHao Wang 210 $aDordrecht$cKluwer ; Beijing$cScience$d1990 215 $axxvii, 373 p.$d24 cm 410 1$1001VAN00046994$12001 $aMathematics and its applications. Chinese Series$1210 $aDordrecht$cKluwer$v2 606 $a00A30$xPhilosophy of mathematics [MSC 2020]$3VANC020829$2MF 606 $a01A75$xCollected or selected works; reprintings or translations of classics [MSC 2020]$3VANC021493$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$3VANC024436$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 610 $aApproximation$9KW:K 610 $aArtificial Intelligence$9KW:K 610 $aAutomated theorem proving$9KW:K 610 $aBoolean satisfiability problem$9KW:K 610 $aClassification$9KW:K 610 $aCommunications$9KW:K 610 $aComplexity$9KW:K 610 $aComputability$9KW:K 610 $aInformation$9KW:K 610 $aLogic$9KW:K 610 $aMatching$9KW:K 610 $aModel theory$9KW:K 610 $aProofs$9KW:K 610 $aSet Theory$9KW:K 610 $aTheorem proving$9KW:K 620 $aNL$dDordrecht$3VANL000068 620 $dBeijing$3VANL001586 700 1$aWang$bHao$3VANV037836$07177 712 $aKluwer $3VANV108116$4650 712 $aScience $3VANV108575$4650 801 $aIT$bSOL$c20250725$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-009-2356-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00287585 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 10722 $e08eMF10722 20250312 996 $aComputation, Logic, Philosophy$94314998 997 $aUNICAMPANIA