AMS Classification: 03

03Bxx

General logic

03Cxx

Model theory

03Dxx

Recursion theory

03Exx

Set theory

03Fxx

Proof theory and constructive math.

03Gxx

Algebraic logic

03Hxx

Nonstandard models