Disambiguating System M

• M (von Wright) is T (Feys) [Hughes and Cresswell, 1968, p125] [Lemmon, 1957, p180]
• M (Megill and Bunder) [Megill and Bunder, 1996]

Go to ...

• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2006, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/m.html
This page was last modified on August 4th, 2006