Definition:Iverson's Convention/Historical Note

Historical Note on Iverson's Convention
The Iverson's convention was invented by in $1962$.

The specific use of square brackets was advocated by to avoid ambiguity in parenthesized logical expressions.