Reverse Mathematics
Perfect Set
Quantifier (Logic)
Ur Element
Finite Set
(Routledge Studies in Eighteenth-Century Philosophy) David Landy-Kant's Inferentialism_ the Case Against Hume-Routledge (2015)
Direct Proof
Symbolic Logic
Elements of Mathematical Logic
Chapter+1+Part+3 bn
Logic Unit 3 Part 2
Syllabus M (1)