In chapter 3, Peter Smith defines formal systems or, as he calls them, axiomatized formal theories (I will use AFT as an abbreviation for this phrase).
A theory T is an AFT if...
Showing posts with label Chapter 3. Show all posts
Showing posts with label Chapter 3. Show all posts
Friday, June 21, 2013
Subscribe to:
Posts (Atom)