Real
Not Complex
Add Resource
About
Logic Resources
Textbooks
Lecture Notes
Textbooks
forall x
P. D. Magnus
Has Exercises
Has Solutions
ToC Has Links
Proofs and Concepts
Dave Witte Morris, Joy Morris
Has Exercises
ToC Has Links
Book of Proof
Richard Hammack
Has Exercises
Has Solutions
ToC Has Links
Logic Self-Taught: A Workbook
Katarzyna Paprzycka
Has Exercises
Has Solutions
ToC Has Links
Delftse Foundations of Computation
Stefan Hugtenburg, Neil Yorke-Smith
Has Exercises
Has Solutions
ToC Has Links
A Problem Course in Mathematical Logic
Stefan Bilaniuk
Has Exercises
A Friendly Introduction to Mathematical Logic
Christopher Leary, Lars Kristiansen
Has Exercises
Has Solutions
ToC Has Links
Sets, Logic, Computation
Open Logic Project
Has Exercises
ToC Has Links
Incompleteness and Computability
Open Logic Project
Has Exercises
ToC Has Links
Boxes and Diamonds
Open Logic Project
Has Exercises
ToC Has Links
Logic in Action
Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars
Has Exercises
Has Solutions
Lecture Notes
Mathematical Logic
Stephen G. Simpson
Has Exercises
Mathematical Logic
Helmut Schwichtenberg
Lecture Notes in Logic
Yiannis N. Moschovakis
Has Exercises