Alan Rose: A Note on Formalisation by the Method of Description of Truth-Tables. Math. Log. Q. 24(7): 109-112 (1978)