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