FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Abraham Robinson

1918–1974 · Mathematician

Mathematician

Non-standard analysis; contributed to model theory used in formal verification

Read the complete source-linked dossier →Explore computing history free →