机译:元推理的基础第一部分:证明理论
Metatheory; reflection; contextual; reasoning;
机译:元推理的基础第二部分:模型理论
机译:RSA和公钥密码学密码学简介密码学:密码学的理论和实践椭圆曲线的密码学:密码学中的数论和密码学椭圆曲线现代密码学,概率证明和伪随机性基础密码学:基本工具Rijndael的设计: -应用密码学高级加密标准手册
机译:协议逻辑:基础,语义系统和证明理论
机译:直觉型理论证明助手的代数基础
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:道德基础渐晕:基于道德基础理论的情景标准化激励数据库
机译:元推理的基础第一部分:证明理论