LEADER 02362nas  2200697-a 450 
001 996215883003316
005 20230215213018.0
011   $a1557-945X
035   $a(DE-599)ZDB2025647-4
035   $a(OCoLC)45535868
035   $a(CKB)110990112650260
035   $a(CONSER)--2005214027
035   $a(EXLCZ)99110990112650260
100   $a20001211a20009999  s--            a
101 0 $aeng
135   $aurmnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aACM transactions on computational logic
210   $aNew York, NY $cAssociation for Computing Machinery
300   $aRefereed/Peer-reviewed
311   $a1529-3785 
517 3 $aAssociation for Computing Machinery transactions on computational logic
517 3 $aComputational logic
517 3 $aTransactions on computational logic
517 1 $aTOCL
531   $aACM TRANS COMPUT LOG
531   $aACM T COMPUT LOG
531   $aACM TRANS. COMPUT. LOGIC
531   $aACM TRANS. COMPUT. LOG
531 0 $aACM trans. comput. logic
606   $aComputer logic$vPeriodicals
606   $aLogic, Symbolic and mathematical$vPeriodicals
606   $aComputer science$xMathematics$vPeriodicals
606   $aLogique informatique$vPériodiques
606   $aLogique symbolique et mathématique$vPériodiques
606   $aInformatique$xMathématiques$vPériodiques
606   $aComputer logic$2fast$3(OCoLC)fst00872265
606   $aComputer science$xMathematics$2fast$3(OCoLC)fst00872460
606   $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068
606   $aInformatica$2gtt
606   $aLogica$2gtt
608   $aPeriodicals.$2fast
615  0$aComputer logic
615  0$aLogic, Symbolic and mathematical
615  0$aComputer science$xMathematics
615  6$aLogique informatique
615  6$aLogique symbolique et mathématique
615  6$aInformatique$xMathématiques
615  7$aComputer logic.
615  7$aComputer science$xMathematics.
615  7$aLogic, Symbolic and mathematical.
615 17$aInformatica.
615 17$aLogica.
676   $a004
712 02$aAssociation for Computing Machinery.
906   $aJOURNAL
912   $a996215883003316
996   $aACM Transactions on computational logic$91112788
997   $aUNISA

LEADER 01149nam--2200373---450 
001 990000641170203316
005 20240313093549.0
035   $a0064117
035   $aUSA010064117
035   $a(ALEPH)000064117USA01
035   $a0064117
100   $a20010926d1977----km-y0itay0103----ba
101   $aeng
102   $aUS
105   $a||||||||001yy
200 1 $aGeneral relativity for mathematicians$fR.K. Sachs and H. Wu
210   $aNew York$cSpringer-Verlag$d1977
215   $aXII, 291 p.$cill.$d24 cm
225 2 $aGraduate Texts in Mathematics$v48
410   $1001000315347$12001$aGraduate Texts in Mathematics$v48
676   $a530.11
700  1$aSACHS,$bRainer K.$0297663
801  0$aIT$bsalbc$gISBD
912   $a990000641170203316
951   $a510 GTM 48$b2662 CBS$c510$d00101389
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010926$lUSA01$h1232
979   $aPATTY$b90$c20010926$lUSA01$h1249
979   $aPATTY$b90$c20010926$lUSA01$h1249
979   $c20020403$lUSA01$h1713
979   $aPATRY$b90$c20040406$lUSA01$h1644
996   $aGeneral relativity for mathematicians$9922753
997   $aUNISA