| |
| 1969 | ||
|---|---|---|
| 3 | EE | Kurt Bing: Natural deduction with few restrictions on variables. Inf. Sci. 1(4): 381-402 (1969) |
| 1957 | ||
| 2 | Kurt Bing: On the Axioms of Order and Succession. J. Symb. Log. 22(2): 141-144 (1957) | |
| 1956 | ||
| 1 | Kurt Bing: On Simplifying Truth-Functional Formulas. J. Symb. Log. 21(3): 253-254 (1956) | |