This is your work, valued
for-all-x. Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
