Handbook of mathematical logic
by Jon Barwise, H. Jerome Keisler
Symbolic and mathematical LogicLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library
by Jon Barwise, H. Jerome Keisler
Book data: Open Library