Book · 2026 · Computers
Logic for Programmers
- mentions
- 1
- person
- 1
- podcast
- 1
- episode
- 1
- recommendations
- 0
In your book Logic for Programmers, you argue that formal logic is probably one of the most useful parts for for day-to-day engineering. Why why is this?
Why people recommend it
Every mention
Gergely Orosz In your book Logic for Programmers, you argue that formal logic is probably one of the most useful parts fo… 1
Discussed
“In your book Logic for Programmers, you argue that formal logic is probably one of the most useful parts for for day-to-day engineering. Why why is this?”
Other mentions (2: passing, ad reads, own books)
Passing
“He's taught TLA+, a popular formal specification language across the industry, wrote the book Logic for Programmers, and will soon be joining Anthesis.”
Plugged
“So, over here in this file that I wrote for my book, plug, I have a”