Teaching various topics, c.1970, mostly May 1990-Feb 1997, n.d.
File
MS. Landin 97
Held in our offsite storage facility
Includes notes on:
- (folder 1) 'semantic definitions, the 1970s'
- (folder 2) 'Mutables'
(folder 3) includes notes on:
- 'Self printing, self denoting (incorporating old attempt of '81)'
- 'A Generalization of the Godel Construction (after Nagel and Newman)'
- 'Teaching logic'
- 'Teaching about programming'.
Dates
- Creation: c.1970, mostly May 1990-Feb 1997, n.d.
Extent
1 box (3 folders)
Language of Materials
- English
Conditions Governing Access
Some material (from folder 1) is closed.
Shelfmark
MS. Landin 97
Repository Details
Part of the Bodleian Libraries Repository
Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk