LEADER 01692nas 2200505-a 450 001 9910145766903321 005 20240413015814.0 011 $a1873-2461 035 $a(CKB)954925484694 035 $a(CONSER)---88644521- 035 $a(DE-599)ZDB1466371-5 035 $a(EXLCZ)99954925484694 100 $a19830809a19839999 --- a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAnnals of pure and applied logic 210 $aAmsterdam $cNorth-Holland$dc1983- 215 $a1 online resource 300 $aTitle from cover. 300 $aPublished: Elsevier Science Publishers B.V. (North Holland), 1988- 300 $aRefereed/Peer-reviewed 311 $aPrint version: Annals of pure and applied logic. (DLC) 88644521 (OCoLC)9792318 0168-0072 531 $aANNALS OF PURE & APPLIED LOGIC 531 $aANN PURE APPL LOG 531 $aANN PURE APPL LOGIC 531 $aANN PUR APP 531 0 $aAnn. pure appl. logic 531 $aANN. PURE APPL. LOG 606 $aLogic, Symbolic and mathematical$vPeriodicals 606 $aLogique symbolique et mathe?matique$vPe?riodiques 606 $aWiskundige logica$2gtt 606 $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068 608 $aPeriodicals.$2fast 615 0$aLogic, Symbolic and mathematical 615 6$aLogique symbolique et mathe?matique 615 17$aWiskundige logica. 615 7$aLogic, Symbolic and mathematical. 676 $a511.3 906 $aJOURNAL 912 $a9910145766903321 920 $aexl_impl conversion 996 $aAnnals of pure and applied logic$9801077 997 $aUNINA