Logic
for
Mathematics
and
Computer Science
Stanley N. Burris
© Prentice Hall, 1998
ISBN 0-13-285974-2
PHOTO OF BOOK COVER
(250K jpg file)
Table of Contents
Preface
Flow of topics
Publisher's Description
PMath 330, Introduction to Logic
Errata to Text
Interactive Logic Programs
Interactive Logic Programs (Advanced Version)
Supplementary Text
Links to Logic Sites