- CSB - MetaPress - Google - Bing - Yahoo
 | 1969 | |
|---|---|---|
| 3 |      | 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) |