Logic

Logik der Antinomien

Bern 1990. 142 S.

Metakritik der formalen Logik

Den Haag 1969. 380 S.

Induktive Logik

Freiburg i.Br. 1970. 376 S.

Logische Untersuchungen

Göttingen 1976. 142 S.

Aussagenlogik und Beweisverfahren

Stuttgart 1974. 136 S.

Entwurf der Logik

München 1974. 101 S.

Integrale Logik

Wien 1965. 447 S.

Protologik

Frankfurt am Main 1979. 193 S.

Die Form des Erkennens

München 1929. 143 S.

Idee und Grundriß einer nicht-Aristotelischen Logik

Heidelberg 1959. 417 S.

German