• Works In Progress
• Beginning Model Theory (Jane Bridge)
• First Order Logic (Smullyan)