Logic and Foundations
- 251
- Lukasiewicz in Dublin
- An International Conference on the work of Jan Lukasiewicz - Dublin, July 7-10 1996. Scientific summary by two authors.
- 256
- Post's Problem of Creativity
- An essay discussing some of Post's philosophical ideas in a biographic setting.
- 259
- The Bulletin of Symbolic Logic, June 1999
- Contains paper on Tarski's system of geometry, by Tarski and Givant.
- 260
- Alan Mathison Turing (1912-1954)
- British mathematician, cryptographer, and one of the key inventors of the modern computer. After his profound contributions to helping win World War II, he was persecuted for his homosexuality by his own government, and driven to suicide. Maintained by Turing biographer Andrew Hodges: extensive resources and links, online versions of several long essays on Turing.