Mathematical introduction to first-order logic in 8 pages [pdf]mathvault.ca11 points·R3G1R··0 commentsOpen articleSaveView on HN