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 related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state

Human

1
Christine Paulin-Mohring
Person
Mathematical logician and computer scientist