古森雄一, 千葉大学 [著][古森雄一]2003-2006<Y151-H15540107>
国立国会図書館
- 件名数理論理学 / ラムダ計算 / 集合論 / P=NP問題 / BCK論理 / 古典論理 / 直観主義論理 / 極小論理式
坪井, 明人, 筑波大学1999-2000<Y151-H11640100>
国立国会図書館
- 件名可算モデル ペアノの公理 一階論理式 定義可能性
黒沢, 馨, 東京工業大学1996-1997<Y151-H07650413>
国立国会図書館
- 件名BANロジツク 暗号プロトコル 論理式 鍵配送 検証
谷口健一, 大阪大学 [著][谷口健一]2001-2004<Y151-H13558028>
国立国会図書館
- 件名整数変数つきFSM / プレスブルガー文 / 時相論理式 / 自動検証 / 時間オートマトン群 / 実時間システム
廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>
国立国会図書館
- 件名構成的論理 ラムダ計算 型理論 直観主義論理 適切さの論理 curry-Haward 型としての論理式 古典論理