---------- Forwarded message --------- Just a reminder that five logic books aimed at students are freely available to download from https://www.logicmatters.net/books/
In a bit more detail: a couple of years ago, I got the copyright back of my An Introduction to Formal Logic (CUP, 2nd edition 2020) and An Introduction to Gödel’s Theorems (CUP, 2nd edition 2013), and could then give the books away for free as PDFs — a very small gesture to students having a rotten time in the pandemic. I also made minimal-cost print-on-demand versions available for those who still wanted paperbacks (surprisingly many, it turned out). The experiment was a success! So two more books for students in this series of Big Red Logic Books have been published since. There’s an expanded book version of my old lecture notes for a short course, Gödel Without (Too Many) Tears. And earlier this year, I published an expanded book version of the “Teach Yourself Logic” study guide (not a stand-alone textbook so much as an annotated guide to the textbooks): it’s now called Beginning Mathematical Logic. Both are again available as PDFs, and as very cheap paperbacks. A fifth book, Beginning Category Theory, is still work in progress, available for people to tell me what’s wrong with it …. All five are already much downloaded, which has made it all worth the effort: but please do spread the word to new students who might find something useful. Peter Smith logicmatters.net -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhewSpQs8%2B%3DboYyPQ5oh7nUEXNBe8YZSd6e0MJgmFpPhA%40mail.gmail.com.
