2 ms·
By no means a textbook, just a barely-edited book-length anthology of primary sources I put together, but let me plug my own: Finite of Sense and Infinite of T
by pron 6y ago
By no means a textbook, just a barely-edited book-length anthology of primary sources I put together, but let me plug my own:
Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra
https://pron.github.io/computation-logic-algebra https://pron.github.io/computation-logic-algebra
- bambataa 6y agoI enjoyed your introduction to TLA+, so looking forward to this. Thank you.
- blewboarwastake 6y agoThe Bibliography is definitively useful but the editing and commentary is really good too. I'll bookmark it and will keep reading later.
- epilys 6y agoDo you have plans on publishing an epub?
- pron 6y agoNot currently. Seems like a lot of work, especially with all the margin notes and figures. But if you could suggest tools that might make this easier, I'd give them a look.