The Gallery Mathematical logic Ivor Grattan-Guinness Alasdair Urquhart Siegfried Gottwald Leon Chwistek 1
