Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
by Richard Zach
Sets, Logic, Computation: An Open Introduction to Metalogic is an open textbook focused on the foundations of formal reasoning. Covering sets, logic, and computation, it provides an educational resource for readers studying metalogic, mathematics, logic, or related areas of computer science.
About This Book
Sets, Logic, Computation is an open introduction to metalogic.
The book focuses on sets, logic, and computation as central subjects in formal reasoning.
Presented as an open textbook, it offers a resource for learning and teaching foundational concepts.
Richard Zach is the listed author.
Reviews
No reviews yet. Be the first to review this book!