Gomide, W. Opinion on Patrick Suppes 1957 Introduction to Logic. Transmath 2021.