FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Thoralf Skolem

1887–1963 · Logician

Logician

Advanced model theory and introduced Skolem normal form.

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