Orayen, R. W.V.O. Quine, Methods of Logic. CRHF 2018, 15, 119-123.