Mathbook Project (Logic Edition)

This is a hobbyist mathematics textbook based on open source textbooks. There is attempts to include concrete examples and comments.