mdnahas / peano_book Goto Github PK

On section "I. Punctuation.", page 8 of the pdf, the passage containing:

"we use parentheses, as in algebra"

is greyed out, meaning it is irrelevant, although the symbols used there, (), [], {}, where never defined in its new usage as grouping symbols. Since the original work and also this translation is nicely "self contained" (any new usage of a symbol is defined), I would have added a red note with something like: "To aid visualisation, the precedence grouping of symbols is according to the traditional use of parentheses, brackets and braces like in algebra, instead of only parentheses."

The original circular "deducitur" symbol is still present instead of its modern equivalent "right arrow" once on page 20 of the pdf, section "Remarks." on the last line of the page ("the form α Cβ, where α and β are propositions..."), and twice in the continuation of that paragraph on the start of the next page.