First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2007-11-15 13:55:59Open Document File Size: 206,07 KBShare Result on FacebookCityRedmond / /CompanyRussell / Microsoft / /CountryUnited States / /FacilityUniversity of Michigan / /IndustryTermcomputing / software specification languages / axiom systems / /OrganizationEuropean Association for Theoretical Computer Science / University of Michigan / Ann Arbor / National Science Foundation / Yuri Gurevich2 Mathematics Department / /PersonRandall Holmes / David Harel / Ashok Chandra / Boaz Trakhtenbrot / /Positionmathematician / intuitive model for ZFC / /ProvinceOrStateNewfoundland / Washington / Michigan / /PublishedMediumTheoretical Computer Science / the Bulletin / /SocialTag |