[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