![]() | ![]() |
1992 | ||
---|---|---|
2 | Michael Thau: The omega-rule. Studia Logica 51(2): 241-248 (1992) | |
1991 | ||
1 | Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic 32(2): 212-232 (1991) |
1 | Hugues Leblanc | [1] |
2 | Peter Roeper | [1] |
3 | George Weaver | [1] |