LEADER 01315nam a2200325 i 4500
001 991001112649707536
005 20020507183507.0
008 951024s1981    ne            ||| | eng  
020   $a0444854401
035   $ab10802654-39ule_inst
035   $aLE01307223$9ExL
040   $aDip.to Matematica$beng
082 0 $a519.4
084   $aAMS 03B70
100 1 $aDomolki, B.$0536023
245 10$aMathematical logic in computer science /$cedited by B. Domolki and T. Gergely
260   $aAmsterdam :$bNorth-Holland,$c1981
300   $a758 p. :$bill. ;$c25 cm.
490 0 $aColloquia mathematica Societatis Janos Bolyai, ISSN 01393383 ;$v26
500   $aPapers 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.
650  4$aLogic of programming
650  4$aProgramming
650  4$aProgramming languages-semantics
700 1 $aGergely, T.
907   $a.b10802654$b23-02-17$c28-06-02
912   $a991001112649707536
945   $aLE013 03B DOM11 (1981)$g1$i2013000038209$lle013$o-$pE0.00$q-$rl$s-  $t0$u1$v0$w1$x0$y.i10906927$z28-06-02
996   $aMathematical logic in computer science$9925339
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gne $h0$i1