This text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

Introduces a powerful new concept for innovation

This book offers a concise and up-to-date introduction to the popular field of quantum information.

This book is for anyone with an interest in computing, artificial intelligence, codebreaking, WW2 history, or the history of ideas and technology in the 20th century.

This book offers a discussion about how people think, talk, learn, and explain things in causal terms - in terms of action and manipulation.