Logic and games. ... Hintikka on Wittgenstein: From language games to game semantics. ... Programming in Martin-Löf's Type Theory: An Introduction.
確定! 回上一頁