James Okafor

@james_okafor•62d ago

First-order logic: syntax, semantics, proof systems, completeness, compactness, and Gödel's incompleteness theorems.

logicmathematics2009

Mathematical Logic