Mathematical Logic

E1090245 UNEXPLORED

Mathematical Logic is a branch of mathematics and logic that studies formal systems, proof theory, model theory, recursion theory, and set theory to rigorously analyze the foundations of mathematics and reasoning.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Mathematical Logic canonical	2
foundations of mathematics	1

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

J. Donald Monk → hasWritten → Mathematical Logic ⓘ

The Foundations of Mathematics → mainSubject → Mathematical Logic ⓘ

this entity surface form: foundations of mathematics

New Foundations for Mathematical Logic → relatedWorkByAuthor → Mathematical Logic ⓘ