Displaying similar documents to “Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten.”