User contributions for 149.62.79.171
Jump to navigation
Jump to search
17 September 2014
- 20:4220:42, 17 September 2014 diff hist −18 Realizability →Later developments: In the principle of independence, A can be a general formula, and not necessarily a negated one. current