DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION
- 1 January 1964
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 10 (13-17), 185-191
- https://doi.org/10.1002/malq.19640101302
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Bases for first-order theories and subtheoriesThe Journal of Symbolic Logic, 1960
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957
- On Padoa’s Method in the Theory of DefinitionIndagationes Mathematicae, 1953