Недавно была годовщина смерти этого чувака: http://people.bath.ac.uk/masnnv/Dad/dad.html Моя мама у него училась. По такому случаю почитал его статьи по логике и по теорверу, интересно…