3 links
Classical Logic
plato.stanford.edu
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Introduction to Mathematical Logic
ltn.lv
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Showing 20–3 of 3 results