Mathematical logic for computer science [1st ed.] 9780135641392, 0-13-564139-X

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for

262 19 2MB

English Pages 309 Year 1993

Report DMCA / Copyright

DOWNLOAD DJVU FILE

Mathematical logic for computer science [1st ed.]
 9780135641392, 0-13-564139-X

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up