Applied logic series,

書目資訊

reasoning robots
proof theory for fuzzy logics
modern perspective on type theory
hybrid logic and its proof-theory
analysis and synthesis of logics
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入