... ein US-amerikanischer Logiker; geboren am 25.06.1908 in Akron; 1948-1978 Professor an der Harvard University; arbeitete zur Semantik, zur Theorie der Quantifikation, zum Entscheidungsproblem und zur Typentheorie
n-cy.de