- CSB - MetaPress - Google - Bing - Yahoo
 | 1956 | |
|---|---|---|
| 2 |      | Wilhelm Ackermann: Begrundung Einer Strengen Implikation. J. Symb. Log. 21(2): 113-128 (1956) |
| 1950 | ||
| 1 | | Wilhelm Ackermann: Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur. J. Symb. Log. 15(1): 33-57 (1950) |