A Mathematical Introduction to Logic 2nd ed. H 336 p. 01
内容
Presents material on computer science issues such as computationalcomplexity and database queries, with coverage of introductory material suchas sets. This book helps instructors with choices in how they use thetextbook in courses, and reduced mathematical rigour to fit the needs ofundergraduate students.