Logic of Mathematics by Pawel Zbierski & Zofia Adamowicz