Switch to: Citations

References in:

The finite model property and recursive Bounds on the size of countermodels

Journal of Philosophical Logic 12 (4):477 - 480 (1983)

Add references

You must login to add references.

Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.details Computability in Philosophy of Computing and Information Philosophy of Mathematics $24.50 used $42.00 new $50.00 from Amazon View on Amazon.com Direct download (2 more) Export citation Bookmark 478 citations
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 13 citations
Answer to a question raised by Harrop.Dolph Ulrich - 1982 - Bulletin of the Section of Logic 11 (3/4):140-141.details No categories Direct download Export citation Bookmark 1 citation

1