References
Harrop, R., ‘Some structure results for propositional calculi’ The Journal of Symbolic Logic 30 (1965), 271–292.
RogersJr., H., Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, New York, 1967.
Ulrich, D., ‘Answer to a question raised by Harrop’, Bulletin of the Section of Logic, Polish Academy of Sciences (to appear).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ulrich, D. The finite model property and recursive bounds on the size of countermodels. J Philos Logic 12, 477–480 (1983). https://doi.org/10.1007/BF00249263
Issue Date:
DOI: https://doi.org/10.1007/BF00249263