mathematical logic treatise

A mathematical logic treatise is a comprehensive, rigorously structured work that systematically develops the principles, formalisms, and theorems of logic as a branch of mathematics.

Observed surface forms (3)

• logic book ×2
• logic textbook ×2
• foundational work in symbolic logic ×1

Instances (6)

• PM via concept surface "logic book"
• The Mathematical Analysis of Logic via concept surface "logic textbook"
• An Investigation of the Laws of Thought via concept surface "logic book"
• Principia Mathematica
• Begriffsschrift via concept surface "foundational work in symbolic logic"
• Port-Royal Logic via concept surface "logic textbook"