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. |
|