翻訳と辞書 |
Omega-logic In mathematics, ω-logic can refer to: * ω-logic, an infinitary extension of first-order logic * Ω-logic, a deductive system in set theory developed by Hugh Woodin
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Omega-logic」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|