Teaching various topics
MS. Landin 97
Bodleian Libraries, University of Oxford
Description
From Bodleian Archives & Manuscripts
This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.
Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.
Title
Teaching various topics
Shelfmark
MS. Landin 97
Summary
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'.
Date
c.1970, mostly May 1990-Feb 1997, n.d.
Language
English
Physical extent
1 box (3 folders)
View full record in Bodleian Archives & Manuscripts
Collection contents
Archive of Peter Landin, computer scientist, academic and gay rights campaigner
Teaching records
Teaching various topics
