An introduction to mathematical logic
by Richard E. Hodel · first published 1995
4mentions
3recommended by
4HN commenters
2021–2024first – last mentioned
75% recommend25% critical
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…lots of motivations for introduced concepts, but moves somewhat slowly (introducing FOL in three stages, first propositional, then quantifier-free and then full FOL) - Leary & Kristiansen, "A Friendly Introduction to Mathematical Logic" (available online for free) - this moves somewhat faster and skips "lower" logics such as propositional logic and uses a different proof system. If you read up to Löwenheim-Skolem, you already have a…
on “Ask HN: Serious mathematics books that can replace a good teacher?” ↗…and logical statements (syntax vs. semantics). For some reason, this book's transition from propositional logic to first order logic left me in a daze, so I started up on the book below. 2. A friendly Introduction to Mathematical Logic by Christopher C Leary and Lars Kristiansen: The first 2 chapters of this book were a great way to see a fully fledged axiomatic first order proof system in action. They do a great job of setting up a…
on “Ask HN: What are you currently learning?” ↗Related: E.J. Lemmon, in his book Beginning Logic, lists some important logic books and says that Chapter 0 of Church's Introduction to Mathematical logic ``deserves to be read several times by /all/ philosophers''.
on “Alonzo Church: Architect of computer intelligence” ↗…something to do with "Tarski's definition of truth", but there seem to be different ideas around about what this means. While Wikipedia agrees with yours, I can point to at least one popular book ("An Introduction to Mathematical Logic" by Richard E. Hodel) that equates Tarski truth just with model theoretic truth. I wouldn't fire the analyst in your example, by the way, because the fault would be mine: I should have just specified…
on “Where do type systems come from? (2017)” ↗