LEADER 01800nam0 22004213i 450 001 VAN00254628 005 20240806101441.38 017 70$2N$a9783642867187 100 $a20230214d1968 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aFirst-Order Logic$fRaymond M. Smullyan 210 $aBerlin$cSpringer$d1968 215 $axii, 160 p.$cill.$d24 cm 410 1$1001VAN00254309$12001 $aErgebnisse der Mathematik und ihrer Grenzgebiete, 2. Folge$1210 $aBerlin$cSpringer$1300 $aDal 1976 aggiunge il complemento tit.: A series of modern surveys in mathematics$v43 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aCompactness theorem$9KW:K 610 $aFinite$9KW:K 610 $aLogic$9KW:K 610 $aMathematica$9KW:K 610 $aProofs$9KW:K 610 $aTheorem$9KW:K 610 $aVariables$9KW:K 620 $dBerlin$3VANL000066 700 1$aSmullyan$bRaymond M.$3VANV013640$050650 712 $aSpringer $3VANV108073$4650 790 1$aSmullyan, Raymond Merrill$zSmullyan, Raymond M.$3VANV238470 790 1$aSmullyan, R. M.$zSmullyan, Raymond M.$3VANV238471 790 1$aSmullyan, R.M.$zSmullyan, Raymond M.$3VANV238472 801 $aIT$bSOL$c20250117$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-86718-7$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 $aVAN00254628 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 5381 $e08eMF5381 20230301 996 $aFirst-Order Logic$9340270 997 $aUNICAMPANIA