LEADER 01258nas  22003733a 450 
001 9910146563003321
005 20240413014347.0
035   $a(CKB)1000000000498666
035   $a(CONSER)--2009202749
035   $a(EXLCZ)991000000000498666
100   $a19940215a19939999  ---         a
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aLecture notes in logic
210   $aBerlin ;$aNew York $cSpringer-Verlag$d1993-
215   $a1 online resource
311 08$aPrint version: Lecture notes in logic. 1431-5459 (DLC)  2009202749 (OCoLC)214960370 
531   $aLECT. NOTES LOG
606   $aLogic, Symbolic and mathematical
606   $aLogique symbolique et mathématique$vCollections
606   $aLogique symbolique et mathématique
606   $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068
615  0$aLogic, Symbolic and mathematical.
615  6$aLogique symbolique et mathématique
615  6$aLogique symbolique et mathématique.
615  7$aLogic, Symbolic and mathematical.
676   $a511.3
906   $aJOURNAL
912   $a9910146563003321
920   $aexl_impl conversion
996   $aLecture notes in logic$91776103
997   $aUNINA