Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls.

From MaRDI portal
Publication:1834563