01796nam 22004935 450 99646528020331620200703194836.03-540-38526-610.1007/3-540-09724-4(CKB)1000000000229997(SSID)ssj0000322814(PQKBManifestationID)11246302(PQKBTitleCode)TC0000322814(PQKBWorkID)10289911(PQKB)11641438(DE-He213)978-3-540-38526-4(PPN)155193988(EXLCZ)99100000000022999720121227d1979 u| 0engurnn|008mamaatxtccrEdinburgh LCF[electronic resource] A Mechanized Logic of Computation /by M. Gordon, R. Milner, C.P. Wadsworth1st ed. 1979.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1979.1 online resource (VIII, 161 p.) Lecture Notes in Computer Science,0302-9743 ;78Bibliographic Level Mode of Issuance: Monograph3-540-09724-4 Lecture Notes in Computer Science,0302-9743 ;78Computer scienceComputer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Computer science.Computer Science, general.004Gordon Mauthttp://id.loc.gov/vocabulary/relators/aut368688Milner Rauthttp://id.loc.gov/vocabulary/relators/autWadsworth C.Pauthttp://id.loc.gov/vocabulary/relators/autBOOK996465280203316Edinburgh LCF2832047UNISA