Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
I have added the [Tarski reference](http://golem.ph.utexas.edu/category/2011/12/on_the_law_of_large_numbers_su.html#c040541) to [[intuitionistic logic]] and [[internal logic]]
I have added the Tarski reference to intuitionistic logic and internal logic