Talk:Disjunction and existence properties/to do
From Wikipedia, the free encyclopedia
From 24-Sep-2004:
- Discussion of Herbrand's theorem
- Discussion of Brouwer-Heyting-Kolmogorov interpretation
- Discussion of axiom of choice
- CM's number theoretic conjecture
New:
- Bit about indecomposible project object requires explanation
