The Gallery History of logic Richard Zach John MacFarlane Ivor Grattan-Guinness Jan Łukasiewicz David Makinson Jan Łukasiewicz Siegfried Gottwald Solomon Feferman John Corcoran 1