A first course in formal logic and its applications in computer science

書誌事項

A first course in formal logic and its applications in computer science

R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter

(Computer science texts / consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson)

Blackwell Scientific Publications, 1986

タイトル別名

Formal logic and its applications in computer science

この図書・雑誌をさがす
注記

Bibliography: p. 259-260

Includes index

関連文献: 1件中  1-1を表示
  • Computer science texts

    consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson

    Blackwell Scientific Publications

詳細情報
ページトップへ