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
THIS TEXTBOOK IS NO LONGER AVAILABLE FROM THE PUBLISHER.
PMath 330, Introduction to Logic
Errata to Text
Interactive Logic Programs
Interactive Logic Programs (Advanced Version)
Supplementary Text
Links to Logic Sites