LEADER 01796nam  22004935  450 
001 996465280203316
005 20200703194836.0
010   $a3-540-38526-6
024 7 $a10.1007/3-540-09724-4
035   $a(CKB)1000000000229997
035   $a(SSID)ssj0000322814
035   $a(PQKBManifestationID)11246302
035   $a(PQKBTitleCode)TC0000322814
035   $a(PQKBWorkID)10289911
035   $a(PQKB)11641438
035   $a(DE-He213)978-3-540-38526-4
035   $a(PPN)155193988
035   $a(EXLCZ)991000000000229997
100   $a20121227d1979      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEdinburgh LCF$b[electronic resource] $eA Mechanized Logic of Computation /$fby M. Gordon, R. Milner, C.P. Wadsworth
205   $a1st ed. 1979.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1979.
215   $a1 online resource (VIII, 161 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v78
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-09724-4 
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v78
606   $aComputer science
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aComputer science.
615 14$aComputer Science, general.
676   $a004
700   $aGordon$b M$4aut$4http://id.loc.gov/vocabulary/relators/aut$0368688
702   $aMilner$b R$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aWadsworth$b C.P$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a996465280203316
996   $aEdinburgh LCF$92832047
997   $aUNISA