Login / Signup
Eine äQuivalente Formalisierung der Logik von Feferman und Aczel.
Martin Kühnrich
Published in:
Math. Log. Q. (1983)
Keyphrases
</>