On Logic, Computation and Ideology: Bibliography
1. Frege, G., Begriffsschrift. Eine der
arithmetischen nachgemachte Formelsprache des reinen Denkens.
Halle, 1879.
2,3. We distinguish this usage of the term
Science from that of philosophers of the Scientific
Method such as Popper, q.v. The Logic of Scientific
Discovery, Hutchinson, 1972. Later, we shall exploit this
distinction in our discussion of the nature of Computer
Science
4. Dummett, M., Elements of Intuitionism.
O.U.P., 1977. Kripke, S.A., A completeness theorem in modal
logic. J. Symb. Logic 24 pp. 1-14 (1959)
5. Jon Barwise and John Etchemendy, Situations
and Attitudes. MIT, 1983
6. Various papers of Hyland, Rosolini, Phoa.
7. Gödel, K., Die Vollständigkeit der
Axiome des logischen Funktionenkalküls. Monatsch. Math.
Phys., 37, 349-360.
8. Whitehead, A.N., and B. Russell, Principia
Mathematica. Cambridge, 1910-13.
9. Gödel, K., Über formal
unentscheidbare Sätze der Principia und vewandter
Systeme. Monatsch. Math. Phys., 38, 173-198.
10. Turing, A.M., On computable numbers, with
an application to the Entscheidungsproblem. Proc. London Math.
Soc., 42, 230-265; 43, 544-546. Church, A., A note on the
entscheidungsproblem. J. Symb. Logic 1, pp. 40-41, 101-102.
Also later work of Church and work of Post.
11. Thèse, Université de Paris,
1930.
12. Mathematische Zeitschrift 39 (1934), pp.
176-210, 405-431.
13. Howard, W.A., The formulæ-as-types
notion of construction. In: To H.B. Curry: Essays on
Combinatory Logic, Lambda Calculus and Formalism, pp. 479-490.
Academic Press, 1980.
14. Girard, J.-Y., Interprétation
functionelle et l'élimination des coupures de
l'arithmétique d'ordre supérieur. Thèse,
Université de Paris VII, 1972.
15. Girard, J.-Y., Linear Logic. Theor.
Comp. Sci. 50, pp. 1-102, 1987.
16. Ibid. 5
