2008 | ||
---|---|---|
4 | EE | Murdoch Gabbay, Michael Gabbay: Substitution for Fraenkel-Mostowski foundations. AISB Convention 2008: 65-72 |
3 | EE | Murdoch Gabbay, Michael Gabbay: a-Logic With Arrows. Electr. Notes Theor. Comput. Sci. 216: 3-29 (2008) |
2005 | ||
2 | Michael Gabbay, Murdoch Gabbay: Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. We Will Show Them! (1) 2005: 701-730 | |
1 | Murdoch Gabbay, Michael Gabbay: a-logic. We Will Show Them! (1) 2005: 731-764 |
1 | Murdoch James Gabbay (Murdoch Gabbay) | [1] [2] [3] [4] |