Mathematical Introduction to Logic
Autor
Herbert B. Enderton (University Of California, Los Angeles, U.s.a.)
Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.