Incorrect statement about triple negation in section 6.2

[Deleted user]

The clause

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬¬p

in sentence 5 of the final paragraph of page 15 should instead be

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬p

[nameiwillforget]

The clause

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬¬p

in sentence 5 of the final paragraph of page 15 should instead be

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬p

Thanks!