> For the complete documentation index, see [llms.txt](https://wxflogic.gitbook.io/logic/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wxflogic.gitbook.io/logic/bibliography.md).

# 参考文献

1. Copeland, B. J. ‘Computable Numbers: A Guide’, pp. 5–57 of B. J. Copeland (ed.), *The Essential Turing* (Oxford: Oxford Univeristy Press, 2004).
2. Dawson, John W. *Logical Dilemmas: The Life and Work of Kurt Gödel* (Wellesley, MA: A. K. Peters, Ltd., 1997).
3. Gracely, E. J. ‘Playing Games with Eternity: the Devil’s Offer’, *Analysis* 48 (1988), p. 113.
4. Haack, S. *Deviant Logic* (Cambridge: Cambridge University Press, 1974).
5. Heath, P. ‘Nothing’, pp. 524–5, Vol. 5, of P. Edwards (ed.), *Encyclopedia of Philosophy* (London: Macmillan, 1967).
6. Heath, P. *The Philosopher’s Alice* (New York, NY: St. Martin’s Press, 1974).
7. Hick, J. *Arguments for the Existence of God* (London: Collier-Macmillan Ltd., 1964).
8. Hodges, A. ‘Alan Turing’, in E. Zalta (ed.), *Stanford Encyclopedia of Philosophy*, <https://plato.stanford.edu/entries/turing/>, 2013.
9. Hodges, W. *Logic* (London: Penguin Books, 1977).
10. Howson, C. and Urbach, P. *Scientific Reasoning: the Bayesean Approach* (La Salle, IL: Open Court, 1989).
11. Hughes, G. E. and Cresswell, M. *A New Introduction to Modal Logic* (London: Routledge, 1996).
12. Jeffrey, R. *The Logic of Decision* (Chicago: University of Chicago Press, 2nd edition, 1983).
13. Lemmon, E. J. *Beginning Logic* (London: Thomas Nelson and Sons Ltd.,1971).
14. Kneale, W. and M. *The Development of Logic* (Oxford: Clarendon Press, 1975).
15. Mellor, D. H. *Real Time* (Cambridge: Cambridge University Press, 1981. 2nd edition, London: Routledge, 1998).
16. Øhrstrøm, P. and Hasle, P. F. V. *Temporal Logic: from Ancient Ideas to Artificial Intelligence* (Dordrecht: Kluwer Academic Publishers, 1995).
17. Piccini, G. ‘Hypercomputation’, sec. 4.3 of ‘Computation in Physical Systems’, in E. Zalta (ed.), *Stanford Encyclopedia of Philosophy*, <https://plato.stanford.edu/entries/computation-physicalsystems/>, 2015.
18. Priest, G. *Introduction to Non-Classical Logic* (Cambridge: Cambridge University Press, 2nd edition, 2008).
19. Raatikainen, P. ‘On the Philosophical Relevance of Gödel’s Incompleteness Theorems’, *Revue Internationale de Philosophie 59* (2005), pp. 513–34.
20. Read, S. *Thinking about Logic: an Introduction to the Philosophy of Logic* (Oxford: Oxford University Press, 1994).
21. Sainsbury, R. M. *Paradoxes* (Cambridge: Cambridge University Press, 2nd edition, 1995).
22. Sanford, D. H. *If P then Q: Conditionals and the Foundations of Reasoning* (London: Routledge, 1989).
23. Skyrms, B. Choice and Chance (Encino, CA: Dickenson Publishing Co.,1975).
24. Strawson, P. *Introduction to Logical Theory* (London: Methuen & Co.,1952).
25. Williamson, T. *Vagueness* (London: Routledge, 1994).
26. Zach, R. ‘Hilbert’s Program’, in E. Zalta (ed.), *Stanford Encyclopedia of Philosophy*, <https://plato.stanford.edu/entries/hilbert-program/>, 2015.
27. Zalta, E. *Stanford Encyclopedia of Philosophy*, <https://plato.stanford.edu>, 1995‒.