Mathematical logic for computer science / Lu Zhongwan



Digitised Book 216.73.216.10 (0)

1989

Mathematical logic for computer science / Lu Zhongwan

  • Share


Information About

Many aspects in various branches of mathematical logic are related to computer science. This book describes those aspects which are related to each other, including first-order logic, constructive logic, and modal logic.

Subjects

Computer science--Mathematics Logic, Symbolic and mathematical

Other issues in the series

title
{{block.title}}
{{ element }}
Previous

{{nextOffset + 1}} / {{total}}

Next

Additional Details

Title
Mathematical logic for computer science / Lu Zhongwan
Creators
  • Lu, Chung-wan
Subject
  • Computer science--Mathematics
  • Logic, Symbolic and mathematical
Publisher
  • World Scientific, 1989
  • National Library Board Singapore, 1989
Digital Description
application/pdf, ix, 248 p.
Table of Contents
  • another type -- 5. Soundness and completeness -- 6. Applications of soundness and completeness -- 7. Constructive logic -- 8. Modal propositional logic -- 9. Modal first-order logic -- Appendix (a simple form of formal proof in natural deduction).
Copyright
  • All Rights Reserved. National Library Board Singapore 2009.