Über Axiomensysteme des Aussagenkalküls.

From MaRDI portal
Publication:562832