Logic and its application
- Reissue
- USA PRENTICE HALL 1995
- 296p., 235 x 178mm, Bibliography, index, paperback
- PRENTICE HALL INTERNATIONAL SERIES IN COMPUTER SCIENCE .
INTRODUCTION TO MATHEMATICAL LOGIC AND ITS APPLICATIONS IN THE FIELD OF COMPUTER SCIENCE