Definition talk:Johansson's Minimal Calculus
From ProofWiki
When you say principle of non-contradiction, do you mean Rule of Bottom-Elimination? --cynic 17:50, 27 July 2008 (UTC)
- This page was last modified on 19 September 2008, at 02:19 and is 0 bytes
- This page has been accessed 40 times.
- Content is available under GNU Free Documentation License 1.2.
