Mathematical logic for computer science

著者

• Lu, Zhongwan

書誌事項

Mathematical logic for computer science

Lu Zhongwan

World Scientific, c1989

注記

Bibliography: p. 229-230

Includes index

• NII書誌ID(NCID): BA07261298
• ISBN:
  • 9971502518
• LCCN: 89033165
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore ; Teaneck, N.J.
• ページ数/冊数: ix, 248 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.9.M35
  • DC20 : 004/.01/51
• 件名:
  • LCSH : Electronic data processing -- Mathematics
  • LCSH : Logic, Symbolic and mathematical