Help me please to find a solution for the last formula in exercise 12.8. from "Introduction to mathematical logic" by A.Church. Here it is: Prove as theorem of without making use of the fourth axiom : .
Last edited by andrei; Apr 18th 2009 at 03:12 AM. Reason: solved
Follow Math Help Forum on Facebook and Google+
View Tag Cloud