Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrews, P.B. An Introduction to Mathematical Logic and Type Theory. Academic Press, New York, 1986.
Barwise, J. Admissible Sets and Structures. Springer-Verlag, Berlin, 1975.
Beeson, M.J. Foundations of Constructive Mathematics, Springer-Verlag Berlin, 1985.
Blackburn, P., de Rijke,M., and Venema, Y. Modal Logic. Cambridge Univ. Press, Cambridge, 2001.
Bridge, J. Beginning Model Theory: The Completeness Theorem and Some Consequences. Clarendon Press, Oxford, 1977.
Cutland, N. Computability: An Introduction to Recursive Function Theory. Cambridge Univ. Press, Cambridge, 1990.
Dale, N., and Dale, H.M.W. Abstract Data Types: Specifications, Implementations, and Applications. Jones and Bartlett Publishers, Boston, 1996.
Feferman, S. Constructive theories of functions and classes. In: M. Boffa, D. van Dalen, and K. McAloon (Eds.), Logic Colloquium ’78, pp. 159–225, North-Holland, Amsterdam, 1979.
Gordon, J.C. The Denotational Semantics of Programming Languages. Springer-Verlag, New York, 1970
Havel, P. Metamathematics of First Order Arithmetic. Springer-Verlag, Berlin, 1991.
Hodges, W. Model theory. Cambridge University Press, Cambridge, 1993.
Jones, C.B.. Systematic Software Development Using VDM. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1986.
Krivine, J.L. Introduction to Axiomatic Set Theory. Springer-Verlag, New York, 1971.
Martin-Lof, P. An intuitionistic theory of sets, predicative part. In Logic Colloquim, 73. North-Holland, Amsterdam, 1975.
Mulmuley, K. Full Abstraction and Semantic Equivalence. MIT Press, Cambridge, MA, 1986.
Pierce, B.C. Types and Programming Languages. MIT Press, Cambridge, MA, 2002.
Pfenning, F. (Ed.). Types in Logic Programming. MIT Press, Cambridge, MA, 1992.
Rogers, H. Theory of Recursive Functions and Effective Computability. McGraw Hill, New York, 1967; 1988.
Stoy, J.E. Denotational Semantics: The Scott Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, 1977.
Turner, R. A theory of properties. J. Symb. Log. 52(2): 455–472, 1987.
Turner, R. Logics of truth. Notre Dame Journal of Formal Logic, 31(4): 308–329, 1990.
Van Benthem, J. Tense logic and time. Notre Dame J. Formal Logic 25(1): 1–16, 1984.
Woodcock, J. and Davies, J. Using Z- Specifications, Refinement and Proof, Prentice Hall, Englewood Cliffs, NJ, 1996.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London
About this chapter
Cite this chapter
Turner, R. (2009). What is a Computable Model?. In: Computable Models. Springer, London. https://doi.org/10.1007/978-1-84882-052-4_1
Download citation
DOI: https://doi.org/10.1007/978-1-84882-052-4_1
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-051-7
Online ISBN: 978-1-84882-052-4
eBook Packages: Computer ScienceComputer Science (R0)