レコードの引用形
APA(7版)引用形式
Intrigila, B., & Statman, R. (2009). The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus. Logical Methods in Computer Science e.V.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
Chicagoスタイル(17版)引用形式
Intrigila, Benedetto, , Richard Statman. The Omega Rule Is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus. Logical Methods in Computer Science e.V, 2009.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
MLA(9版)引用形式
Intrigila, Benedetto, , Richard Statman. The Omega Rule Is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus. Logical Methods in Computer Science e.V, 2009.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
警告: この引用は必ずしも正確ではありません.