This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between Logic and philosophy, mathematics, language and (theoretical) computer science..
This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between Logic and philosophy, mathematics, language and (theoretical) computer science.