First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2008-05-01 19:55:27Open Document File Size: 374,56 KBShare Result on FacebookCityAmsterdam / Millis / G¨ottingen / /CompanyGeneral Electric Company / Russell / /CountryCanada / United States / / /EventPerson Travel / Person Communication and Meetings / /FacilityPennsylvania State University / Curry College / Harvard University / Princeton University / Computer Science University of Lethbridge Lethbridge / University of Amsterdam / Massachusetts Institute of Technology / /IndustryTermlibrary search / postulate systems / proof development systems / /OrganizationPrinceton University / Massachusetts Institute of Technology / Alonzo Church Alonzo3 Church / School for Expression / University of Amsterdam / But Church / Curry College / Natural Sciences and Engineering Research Council of Canada / R. In Church / Harvard University / Student Army Training Corps / Harvard / Department of Mathematics / N. Church / the Pennsylvania State University / Alonzo Church / G¨ottingen Mathematical Society / Mathematics and Computer Science University of Lethbridge Lethbridge / Church∗ Jonathan P. Seldin Department of Mathematics / /PersonBrooks Curry / John Barkley Rosser / Roger Hindley / George D. Birkhoff / Jonathan P. Seldin / Leon Henkin / Oswald Veblen / Paul Bernays / Heinrich Behmann / Alan Turing / Paul Alexandroff / Martin Bunder / Moses Sch¨onfinkel / Jean-Yves Girard / Peter B. Andrews / Steven Cole Kleene / Church / William Aspray / /PositionConstable / assistant / co-author / research assistant / Robert Constable / /ProgrammingLanguageC / K / Haskell / /ProvinceOrStateA.B. / Massachusetts / /URLhttp /SocialTag |