Spielquantorinterpretation unstetiger Funktionale der höheren Analysis (1984)

by W Friedrich
Venue:Arch. math. Logik