Skip to Content

Julian Edison Department of Special Collections

Box 2

 Container

Contains 46 Results:

Series 2: Correspondence

 Series — Multiple Containers
Found in: University Archives / Richard Rudner Papers

Correspondence (Metaphilosophy [Publisher])

 File — Box: 2, Folder: 1
Found in: University Archives / Richard Rudner Papers / Series 2: Correspondence

Series 3: Publications

 Series — Multiple Containers
Found in: University Archives / Richard Rudner Papers

Publications "An Introduction to Formal Methods" (Rudner, et al.)

 File — Box: 2, Folder: 41
Found in: University Archives / Richard Rudner Papers / Series 3: Publications

Publications "An Introduction to Formal Methods" (Rudner, et al.; corrected typescripts)

 File — Multiple Containers
Found in: University Archives / Richard Rudner Papers / Series 3: Publications

Correspondence (Michigan State University)

 File — Box: 2, Folder: 2
Found in: University Archives / Richard Rudner Papers / Series 2: Correspondence

Publications "An Introduction to Formal Methods" (Rudner, et al.; drafts)

 File — Box: 2, Folder: 45
Found in: University Archives / Richard Rudner Papers / Series 3: Publications

Publications "An Introduction to Formal Methods" (Rudner, et al.; notes)

 File — Box: 2, Folder: 46
Found in: University Archives / Richard Rudner Papers / Series 3: Publications

Correspondence (MSU ACLU)

 File — Box: 2, Folder: 3
Found in: University Archives / Richard Rudner Papers / Series 2: Correspondence

Correspondence (Nagel, E.)

 File — Box: 2, Folder: 4
Found in: University Archives / Richard Rudner Papers / Series 2: Correspondence