Skolem-Normalformen

DOI10.1007/BF01626597zbMath0188.01601MaRDI QIDQ2537121

Horst Luckhardt

Publication date: 1969

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/153979

zbMATH Keywords

general logic

Cites Work

• The spectrum problem in the extended predicate calculus
• Modality and quantification in S5

This page was built for publication: Skolem-Normalformen