14 followers
https://t.co/1rUpxjkJpg これのQ_0という高階論理の体系、どこかでみたと思ったら清水義夫『圏論による論理学』のやつの元ネタか. 清水著で今一つありがたみがわからなかったのは完全性の話が抜けてたからだな
https://t.co/1rUpxjkJpg これのQ_0という高階論理の体系、どこかでみたと思ったら清水義夫『圏論による論理学』のやつの元ネタか. 清水著で今一つありがたみがわからなかったのは完全性の話が抜けてたからだな
An Introduction to Mathematical Logic and Type Theory: To Truth Through Pro... https://t.co/mKY91F0GtM @amazonJPより