[FOM] Access to Dyson’s and Kreisel’s classic paper

Miëtek Bak mietek at bak.io
Wed Jun 15 20:53:18 EDT 2016


Verena Huber-Dyson, Georg Kreisel (January 27, 1961) “Analysis of Beth’s
semantic construction of intuitionistic logic”, Technical Report 3,
Applied Mathematics and Statistics Laboratory, Stanford University,
Office of Ordnance Research, Contract DA-04-200-ORD-997.

This is a widely referenced work, and yet it doesn’t seem to have made
it out of the Stanford University archives.
https://searchworks.stanford.edu/view/4604979

Does anyone have a copy of this report?


-- 
Miëtek
https://mietek.io


More information about the FOM mailing list