mathematical logic treatise

C3328

concept

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.

Try in SPARQL

All labels observed (9)

Label	Occurrences
logic textbook	20
logic book	5
work in mathematical logic	3
mathematical logic book	2
work in proof theory	2
foundational work in mathematical logic	1
foundational work in symbolic logic	1
mathematical logic monograph	1
mathematical logic treatise canonical	1

Description generation (CDg)

The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.

Instruction

generate a one-sentence description for a given conceptual class.
# Response Format
Return only the sentence: "Description: [one-sentence description of the conceptional class]"

Input

Class: mathematical logic treatise

Generated description

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.

Instances (33)

Instance	Via concept surface
Philosophia rationalis sive logica	logic textbook
Logic, Computers, and Sets	logic textbook
PM	logic book
The Mathematical Analysis of Logic	logic textbook
An Investigation of the Laws of Thought	logic book
To Mock a Mockingbird	logic book
This Book Needs No Title	logic book
"Grundzüge der theoretischen Logik" surface form: Grundzüge der theoretischen Logik	logic textbook
Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" surface form: Grundzüge der theoretischen Logik	logic textbook
Recherches sur la théorie de la démonstration	mathematical logic monograph
Principia Mathematica	—
Elements of Intuitionism	logic textbook
The Principles of Empirical or Inductive Logic	logic textbook
An Introduction to Reasoning	logic textbook
“A Decision Method for Elementary Algebra and Geometry” surface form: A Decision Method for Elementary Algebra and Geometry	work in mathematical logic
An Introduction to Non-Classical Logic	logic textbook
Formulario Mathematico	mathematical logic book
Arithmetices principia, nova methodo exposita	logic book
A Survey of Symbolic Logic	logic textbook
Logique ou l’art de penser	logic textbook
First-Order Logic and Automated Theorem Proving	logic textbook
Proof Methods for Modal and Intuitionistic Logics	logic textbook
Types, Tableaux and Godel’s God	logic textbook
Begriffsschrift	foundational work in symbolic logic
"Logic for Computer Science: Foundations of Automatic Theorem Proving" surface form: Logic for Computer Science: Foundations of Automatic Theorem Proving	logic textbook
Elementary Lessons in Logic	logic textbook
Recursive Functions and Intuitionistic Mathematics	logic textbook
Grundlagen der Mathematik	work in mathematical logic
Principles of Mathematical Logic	work in mathematical logic
Untersuchungen über das logische Schließen	work in proof theory
logical textbook "Artis Logicae Compendium" surface form: Artis Logicae Compendium	logic textbook
Artis Logicae Compendium	logic textbook
Port-Royal Logic	logic textbook