Home › Topics › Mathematical logic
topic collection

Mathematical logic

subfield of mathematics
3 entities
3 domains

Academic_Discipline

1
proof theory
Intangible
branch of mathematical logic

Studies

1
axiomatic semantics
class
approach based on mathematical logic for proving the correctness of computer programs; closely relat...

Human

1
Christine Paulin-Mohring
Person
Mathematical logician and computer scientist