Quote: Begriffschrift introduced truth-functional propositional calculus, functions instead of subject/predicate, quantification, derivational forms, and a definition of sequence
This is the first work that Frege wrote … Its fundamental contributions, among lesser points, are the … predicate, the theory of quantification, a system of … a logical definition of the notion of mathematical …
Google-1Google-2
Copyright clearance needed for quotation.
Related Topics
Topic: logic (84 items)
Topic: history of mathematics (57 items)