You're looking for a portable version of the mathematical theory of computation by Zohar Manna, specifically a PDF version with 19 chapters. Here's some relevant information:
Predicate Calculus: Covers basic logical notions, natural deduction, and the resolution method. You're looking for a portable version of the
When downloading PDFs from online platforms, ensure that you are not violating any copyright laws or terms of service. Some platforms may require you to create an account or provide attribution to access the content. Topics to study (self-contained reading plan)
The book's significance can be attributed to several factors: Portability 2
Modern researchers often refer to this text alongside Manna’s later work, The Calculus of Computation
Portability
Manna provides a rigorous treatment of the hierarchy of computation models. He details: