Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » User Profile: smail_@_PAMinf.ed.ac.uk

User Profile: smail_@_PAMinf.ed.ac.uk


User Profile for: smail_@_PAMinf.ed.ac.uk
UserID: 196093
Name: Alan Smaill
Email:
Registered: 1/29/05
Total Posts: 757


Recent Messages Discussion Posted
1 Re: New axiom schema to PA sci.math.independent May 5, 2014 8:17 AM
2 Re: New axiom schema to PA sci.math.independent Apr 30, 2014 8:44 AM
3 Re: New axiom schema to PA sci.math.independent Apr 29, 2014 3:53 PM
4 Re: New axiom schema to PA sci.math.independent Apr 29, 2014 1:00 PM
5 Re: New axiom schema to PA sci.math.independent Apr 29, 2014 5:46 AM
6 Re: New axiom schema to PA sci.math.independent Apr 29, 2014 5:43 AM
7 Re: New axiom schema to PA sci.math.independent Apr 28, 2014 3:43 PM
8 Re: New axiom schema to PA sci.math.independent Apr 28, 2014 10:19 AM
9 Re: New axiom schema to PA sci.math.independent Apr 28, 2014 9:15 AM
10 Re: The set of true sentences is not recursively enumerable sci.math.independent Apr 8, 2014 7:58 AM

Show all user messages



[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.