"The Completeness of the First-Order Functional Calculus", Journal of Symbolic Logic.
Leon Trotsky | León | Kings of Leon | Nuevo León | Leon Russell | León, Guanajuato | Jean-Léon Gérôme | Kingdom of León | Leon | Saint-Pol-de-Léon | Leon René | Leon Lai | Léon Blum | Leon Redbone | León, Nicaragua | Angelu de Leon | Province of León | Leon County, Florida | Leon Battista Alberti | León, Spain | Leon Panetta | Kings Of Leon | Juan Ponce de León | André Leon Talley | Oscar D'León | Leon Ware | Leon Morris | León Gieco | Leon Dewan | Leon Botstein |
Tarski's lecture at the 1950 International Congress of Mathematicians in Cambridge ushered in a new period in which model-theoretic aspects were developed, mainly by Tarski himself, as well as C.C. Chang, Leon Henkin, Bjarni Jónsson, Roger Lyndon, and others.