Logic for physicists - Pereyra, Nicolas A. (Morgan & Claypool Publishers, 2018)