LEADER 01744nam0 22004213i 450 
001 VAN0254701
005 20230523015240.452
017 70$2N$a9783540359005
100   $a20230215d1968       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aˆThe ‰Syntax and Semantics of Infinitary Languages$fedited by Jon Barwise
210   $aBerlin$cSpringer$d1968
215   $avi, 270 p.$d24 cm
461  1$1001VAN0102250$12001 $aLecture notes in mathematics$1210  $aBerlin [etc.]$cSpringer$v72
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a00B15$xCollections of articles of miscellaneous specific interest [MSC 2020]$3VANC023985$2MF
610   $aCompactness theorem$9KW:K
610   $aComputability theory$9KW:K
610   $aLanguages$9KW:K
610   $aLogic$9KW:K
610   $aMathematical logic$9KW:K
610   $aModel theory$9KW:K
610   $aProofs$9KW:K
610   $aSyntax$9KW:K
620   $dBerlin$3VANL000066
702  1$aBarwise$bJon$3VANV038865
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240614$gRICA
856 4 $uhttps://doi.org/10.1007/BFb0079679$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   $aVAN0254701
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  5402        $e08eMF5402              20230301            
996   $aSyntax and semantics of infinitary languages$983175
997   $aUNICAMPANIA