Book1936
Introduction to Logic and to the Methodology of Deductive Sciences
Alfred Tarski
Sets out quantification theory and the axiomatic method as the shared foundation beneath every deductive science, from arithmetic to geometry.
PaidIntermediate
Predicate Logic
A topic within Logic, itself one of 10 topics in that field and part of Philosophy.
Reading on Predicate Logic
22 works
Book1879
Begriffsschrift
Gottlob Frege
Introduces a formal notation for quantifiers and bound variables that can express generality and relations beyond what propositional logic can capture, founding modern predicate logic.
link checked 17 Sept 2026Notes on this copyFreeAdvanced