←back to thread

104 points Suggger | 1 comments | | HN request time: 0.203s | source
1. layer8 ◴[] No.46239763[source]
Now I’m wondering what the Chinese version of intuitionistic logic would look like.