Mastodon Feed: Post

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

reading “The Atrocity Files” by @cstross left me wandering around on the “First-order logic” page… of course it did

https://en.wikipedia.org/wiki/First-order_logic