LEADER 01642nas 2200469-a 450 001 996206150803316 005 20200204071122.1 035 $a(DE-599)ZDB2000006 6 035 $a(OCoLC)35107824 035 $a(CKB)111006891590000 035 $a(CONSER)--2004211033 100 $a19960718b19951996 s-- a 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aJournal of the IGPL 210 $aLondon $cImperial College ;$a[Saarbrücken, Germany] $cMax-Planck-Institut für Informatik$d1995-1996 215 $a1 online resource (2 volumes) 300 $aTitle from journal home page (publisher's Web site, viewed Aug. 24, 2004). 300 $a"An electronic journal on pure and applied logic." 311 $a0945-9103 517 3 $aJournal of the Interest Group in Pure and Applied Logics 606 $aLogic$vPeriodicals 606 $aLogic, Symbolic and mathematical$vPeriodicals 606 $aLogic$2fast$3(OCoLC)fst01002014 606 $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068 608 $aPeriodicals.$2fast 608 $aElectronic journals. 615 0$aLogic 615 0$aLogic, Symbolic and mathematical 615 7$aLogic. 615 7$aLogic, Symbolic and mathematical. 676 $a511.305 712 02$aInterest Group in Pure and Applied Logics. 712 02$aImperial College of Science, Technology and Medicine. 712 02$aMax-Planck-Institut für Informatik. 906 $aJOURNAL 912 $a996206150803316 996 $aJournal of the IGPL$92247406 997 $aUNISA