1974-1975/82/3

Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper

Combinatory logic and the ω-rule

Prioric games and minimal degrees below ${\displaystyle 0^{\left(1\right)}}$

On expansions of β-models

Некоторые простые следствия аксиомы конструктивности

Invariant sets in topology and logic