# 参考文献

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‒.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://wxflogic.gitbook.io/logic/bibliography.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.