01314nam a2200361 i 450099100089384970753620020507175359.0940226s1986 ||| ||| | eng 0632013087 (pbk.)b10772200-39ule_instLE01303948ExLDip.to Matematicaeng511.3AMS 03-01AMS 03-XXDowsing, Roy D.535396A first course in formal logic and its applications in computer science /R. D. Dowsing, V. J. Rayward-Smith, C. D. WalterBoston ; Oxford :Blackwell Scientific Publ.,1986vi, 265 p. :ill. ;24 cm.Computer science textsBibliography: p. 259-260.Includes index.Computer scienceMathematical logicSymbolic logicRayward-Smith, V. J.Walter, C. D..b1077220023-02-1728-06-02991000893849707536LE013 03-XX DOW11 (1986)12013000119472le013-E0.00-l- 00000.i1087067228-06-02First course in formal logic and its applications in computer science922472UNISALENTOle01301-01-94ma -engxx 21