1978
Interpolation for fragments of the propositional calculus : (preprint)
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Zuivere Wiskunde | |
Zucker, J. I. (1978). Interpolation for fragments of the propositional calculus : (preprint). Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum. |