formal

A mathematical introduction to logic

Herbert Enderton,Herbert B. Enderton

Logic as a Tool: A Guide to Formal Logical Reasoning

Valentin Goranko

Methods in Mathematical Logic

Carlos A. Di Prisco

solutions manual to Languages and machines: an introduction to the theory of computer science

Mathematical Logic Quarterly

Silvio Valentini