Mathematical Logic

  1. Higher-Order Logic
    1. Syntax of Higher-Order Logic
      1. Type Theory
        1. Lambda Abstraction
          1. Comprehension Principles
          2. Semantics of Higher-Order Logic
            1. Standard Semantics
              1. Henkin Semantics
                1. General Models
                2. Metatheory of Higher-Order Logic
                  1. Completeness and Incompleteness
                    1. Undecidability
                      1. Expressive Power
                      2. Applications
                        1. Foundations of Mathematics
                          1. Computer Science Applications
                            1. Automated Theorem Proving

                          Previous

                          10. Intuitionistic Logic

                          Go to top

                          Back to Start

                          1. Introduction to Mathematical Logic