Browse Items (246 total)
Sort by:
Arthur and Owen Prior [photograph]
Arthur Prior and his half brother Owen (born 1928)
Arthur and Mary Prior with a colleague at the East-West conference in Canberra [photograph]
Arthur and Mary Prior with a colleague at the East-West conference in Canberra, in December 1957
Arthur and Martin Prior [photograph]
Arthur Prior holding his son Martin, at the cottage of Mary Prior's parents at Peel Forest. The visitors were Mr and Mrs Jack Oathout from the US
Arthur and Ann Prior [photograph]
Arthur Prior with his daughter Ann during a visit to Wellington
Alfred Tarski [photograph]
Alfred Tarski (1901–1983), probably the most famous logician that came out of the Warsaw School of Logic. He was a student of Jan Łukasiewicz at the University of Warsaw. He emigrated to the United States in 1939, at the beginning of the German…
Alan Stout and John Mackie [photograph]
A photograph of Prior's colleagues and friends Alan Stout (left) and John Mackie in front of a car, during the East-West conference in Canberra in December 1957.
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…
A.N. Prior, Logic notes IV: "Modal logic" [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…
A.N. Prior, Logic notes III: "Predicates, quantifiers and descriptions" [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…
A.N. Prior, et al., "Calculi of pure strict implication" [mimeograph]
A mimeograph of logic material from several authors, compiled by Arthur Prior and known as "LMMPT", after the authors’ initials: E.J. Lemmon; C.A. Meredith; D. Meredith; A.N. Prior; I. Thomas