Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls

From MaRDI portal
Publication:2625692