Leopold Löwenheim

Born
1878
Died
1957
Nationality
German

Events involving Leopold Löwenheim (1)

1915 ID: 397
Leopold Löwenheim proves Löwenheim theorem: if a first-order sentence has a model, it has a countable model
ID: 397