Logic of mathematics: a modern course of classical logic - Zofia Adamowicz (John Wiley & Sons, 1997)
st,1/ws.c.1