31 Aug
1992
31 Aug
'92
2:23 p.m.
Some people call the double square brackets SCOTT BRACKETS. Could it be that Dana Scott first used them in 1967, in his notes on Boolean-valued models of set theory? Dusko Pavlovic +++++++++++++++++++++++++++++++++++++++++++++++++++++