History and evolution 1840 1850 1860 1870 1880 1890 1900 1910 1920 1930 1940 1950 1960 1970 1980 Leopold LöwenheimLeopold LöwenheimLeopold LöwenheimLeopold LöwenheimLeopold LöwenheimLeopold Löwenheim Ernst SchröderErnst SchröderErnst SchröderErnst SchröderErnst SchröderErnst Schröder Vorlesungen über die Algebra der Logik Über Möglichkeiten im Relativkalkül Kurt GödelKurt GödelKurt GödelKurt GödelKurt GödelKurt Gödel Über die Vollständigkeit des Logikkalküls Die Vollständigkeit der Axiome des logischen Funktionenkalküls Compactness Theorem Model theory