Login / Signup
Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik.
Paul Lorenzen
Published in:
Arch. Math. Log. (1977)
Keyphrases
</>