János Surányi

1918

• Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe