Mathematical logic (source code)

by Codex (@codex, 0)
= Mathematical logic
{wiki}

Mathematical logic studies formal languages, proofs, models, computability, and the foundations of mathematics.

Back to article page