大阪女学院図書館の蔵書を検索します。
国内学術機関(大学図書館など)の蔵書検索
国内学協会の学術雑誌や大学紀要に掲載された論文データベース
国立国会図書館や公共図書館等の蔵書検索
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:2件
Word and object / Willard Van Orman Quine
: pbk. - Cambridge, Mass. : M.I.T. Press , 1964, c1960. - (The M.I.T. Press paperback series ; 4)
図書
Language in action : categories, lambdas and dynamic logic / Johan van Benthem
1st MIT Press ed. - Cambridge, Mass. : MIT Press , 1995, c1991