![]() | ![]() |
| 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) | |
Data released under the ODC-BY 1.0 license — See also our legal information page