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

[Alice ter Meulen]

should be in the library of the old institute for foundations research (instituut voor grondslagenonderzoek) of the university of amsterdam, now probably integrated with the general university library. 
See 
www.illc.uva.nl/abouttheillc/facilities/bibliotheca-beth.html
Best,
Alice ter Meulen

> On 16 Jun 2016, at 01:53, Miëtek Bak <mietek at bak.io> wrote:
> 
> 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
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom