A.N. Prior, Logic notes V: "Intuitionistic systems" [lecture notes]

A.N. Prior, Logic notes V: "Intuitionistic systems" [lecture notes]

Logic lecture notes mimeographed at the Philosophy Department of the Canterbury University College/University of Canterbury. The notes are presented in 200 sections divided in 5 topical parts. Each part has a separate title, separate pagination and its own list of references at the end, but the numeration of the sections is continuous. The date is not given, but if the memorandum on the first page refers to the University of Canterbury, they would have been typed in 1958, which was the first year after Canterbury University College officially became the University of Canterbury, but also the last year of Prior's lectureship in New Zealand. If it refers to the Canterbury University College, they are from 1957 or before that. The content of these logic notes, however, seems to have originated much earlier, perhaps during the first half of 1950s, because the newest references in the lists at the end of each part are from 1953.

This is part V, titled 'Intuitionistic systems', covering sections 180-200 on pp. 1-7. The references are given on p. 7. The memorandum says 'Canterbury University College, which puts their date in 1957 or earlier.

Arthur N. Prior

Max Cresswell's personal archive

Created c. 1954-55

Max Cresswell

Copyright Martin H. Prior. Used with permission. All rights reserved

AP065c, AP065d

PDF

en

AP065e

Text document, A mimeograph of 7 typed pages