Search

Search courses, chapters, or pages...

Learn

Course page Home page Home page Courses

Search

Search courses, chapters, or pages...

Learn

Reason about formal systems | Zoonk

Logic

18. Reason about formal systems

Handle proofs about proofs, including induction, recursion, formal systems, and the difference between object language and metalanguage. This gives you the tools to reason about logic itself.

Chapter not available

This chapter hasn't been created yet.

Create chapter