A Directed Bibliography

This bibliography lists things that provide substantial background for the understanding on this work. It is not ment to provide a beginners look but rather to include those books and papers that provide substantive discussions of the issues of this work. These works are hard to read. The bibliography is divided into works on Computation, Philosophy and Logic. If the articles mentioned are available on line (eg as PDF files) I have tried to include links. There are two other bibliographies that can be found in this work. The annotated FOL bibliography and three subject organized bibliographies that are more comprhensive than the works cited here.

References - Computation

Turing
Kleene
Landin

Steele, G.L., Sussman, G.J.[1975]
SCHEME, and Interpreter for Extended Lambda Calculus,
MIT AI Memo 349 (December 1975)

Talcott, C.[1984]
RUM: A Model of Computation - Accounting for current practice,
PhD Thesis, Computer Science Department, Stanford University

Talcott, C. and Weyhrauch, R.
computation systems

References - Philosophy

Aristotle
Martius Cappella
St. Augustine
Bothius
Oakham

References - Logic

Aristotle
Frege
Brower (Creating Subject)
Skolem 28 (JvH)
Skolem later
IM
Prawitz
Tait
NEWFOL
  NEWFOL - logic
  NEWFOL - implenentetion
  EXAMPLES
    Wristwatch
    IAC
     ...


Sorts
  Skolem
  Nelson/Hook
  Fausto

FOL
  Manual I
  Manual II
  Prolegamina

Lite Readings

Introductory
  JvH (where is it)
  Mendelson