The collected works of Alonzo Church - Church, Alonzo, 1903-1995; Burge, Tyler, 1946-; Enderton, Herbert B., 1936-2010 (Cambridge, Massachusetts : MIT Press, 2019)
Obsahuje bibliografii a rejstřík
Keywords: filozofie matematiky; matematická logika; matematika; symbolická logika; mathematical logic; mathematics; philosophy of mathematics; symbolic logic; sebrané spisy; collected works