40 followers
Modern Logic 1850-1950, East and West (Studies in Universal Logic) Franci... https://t.co/UL7um5MORd @amazonJPさんから
Modern Logic 1850-1950, East and West (Studies in Universal Logic) Franci... https://t.co/UL7um5MORd @amazonJPさんから
“Jeffrey … tells us that he borrowed form … Smullyan the idea of one-sidedness that reduces tableaux to trees …” https://t.co/MJogZcEYs5