01315nam a2200325 i 450099100111264970753620020507183507.0951024s1981 ne ||| | eng 0444854401b10802654-39ule_instLE01307223ExLDip.to Matematicaeng519.4AMS 03B70Domolki, B.536023Mathematical logic in computer science /edited by B. Domolki and T. GergelyAmsterdam :North-Holland,1981758 p. :ill. ;25 cm.Colloquia mathematica Societatis Janos Bolyai, ISSN 01393383 ;26Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.Logic of programmingProgrammingProgramming languages-semanticsGergely, T..b1080265423-02-1728-06-02991001112649707536LE013 03B DOM11 (1981)12013000038209le013-E0.00-l- 01010.i1090692728-06-02Mathematical logic in computer science925339UNISALENTOle01301-01-95ma -engne 01