First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2012-09-08 09:36:38Open Document Share Result on FacebookCityParis / /CompanyDeductive Systems / /CountryUnited States / Columbia / /IndustryTermlogical law / empty product / description operator / /OrganizationNational Academy of Sciences / /PersonJohnstone / Jean Bénabou / J. Giraud / G. C. Wraith / Robert Solovay / John L. Bell / Fourman / Barr / Myles Tierney / William Mitchell / C. J. Mikkelsen / A. Kock / F. William Lawvere / J. Lambek / Wells / Martin-Löf / André Joyal / W. Mitchell / Dana Scott / J. Celeyrette / See Freyd / /PositionBoolean-valued model / /PublishedMediumthe Proceedings of the National Academy of Sciences / /SocialTag |