A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mathematical Logic

Table of Contents

About

Mathematical logic is the study of formal logic within mathematics 1. Boolean logic and other ways of modeling logical queries; the uses and limitations of formal proof methods2.

Subareas

The major subareas are:

  • Model theory
  • Proof theory
  • Set theory
  • Recursion theory (or computability theory)

Anki

References

  1. Wikipedia. “Mathematical Logic”. Available at: https://en.wikipedia.org/wiki/Mathematical_logic . (Accessed: [2025-06-04 Wed 22:13]). ↩︎

  2. Wikipedia. “Outline of computer science”. Available at: https://en.wikipedia.org/wiki/Outline_of_computer_science . (Accessed: [2025-06-04 Wed 22:20]). ↩︎

Random Posts