Eine Entscheidbare Klasse Von Kromformeln

DOI10.1002/malq.19730190803zbMath0298.02048OpenAlexW1981843236MaRDI QIDQ4052107

Egon Börger

Publication date: 1973

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19730190803

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (1)

Prefix classes of krom formulae with identity

This page was built for publication: Eine Entscheidbare Klasse Von Kromformeln