| 雨宮一郎 |
|
Non-standard analysis について
|
16(3),
|
pp. 158-
|
| 新井敏康 |
|
竹内の基本予想について
|
40(4),
|
pp. 322-
|
| 上江洲忠弘 |
|
無限に長い命題をもつ論理について
|
21(3),
|
pp. 189-
|
| 江田勝哉 |
|
アーベル群への集合論の応用
|
43(2),
|
pp. 128-
|
| 小野勝次 |
|
名古屋グループの論理学研究
|
20(3),
|
pp. 154-
|
| 倉田令二朗 |
|
トポスの基礎Part I－論理からみたトポス－
|
35(1),
|
pp. 50-
|
| 小寺平治 |
|
Forcing の概念のGödel numbering について
|
20(2),
|
pp. 99-
|
| 近藤基吉 |
|
選択公理
|
17(1),
|
pp. 13-
|
| 齋藤正彦 |
|
超準解析とはどういうものか
|
38(2),
|
pp. 133-
|
| 島内剛一 |
|
証明のプログラミング
|
15(1),
|
pp. 48-
|
| 白井古希男 |
|
$\varepsilon$-symbol をもつ直観主義のpredicate calculus について
|
24(4),
|
pp. 269-
|
| 鈴木義人 |
|
解析の模型について
|
19(3),
|
pp. 129-
|
| 赤 摂也 |
|
機械による数学の証明のプログラム－推理解析学の現状－
|
12(2),
|
pp. 114-
|
| 高野道夫 |
|
Gödel のprimitive recursive functional をめぐって
|
29(4),
|
pp. 289-
|
| 高橋正子 |
|
言語構造への数学的アプローチ－tree の概念を中心にして－
|
27(3),
|
pp. 241-
|
| 高橋正子 |
|
言語と$\omega$言語
|
38(4),
|
pp. 302-
|
| 高橋元男 |
|
Simple type theory について
|
20(3),
|
pp. 129-
|
| 高橋元男 |
|
公理的集合論のモデルについて
|
22(3),
|
pp. 161-
|
| 高橋元男 |
|
多値論理とその代数
|
29(2),
|
pp. 135-
|
| 竹内外史 |
|
数学の基礎について
|
2(1),
|
pp. 16-
|
| 竹内外史 |
|
最近の集合論
|
23(1),
|
pp. 18-
|
| 竹内外史 |
|
計算量理論と証明論
|
39(2),
|
pp. 110-
|
| 竹内外史 |
|
Bounded Arithmetic と計算量の根本問題
|
49(2),
|
pp. 121-
|
| 武内謙介 |
|
自由代数系の語の問題
|
8(4),
|
pp. 218-
|
| 田中一之 |
|
‘逆・数学’と２階算術の証明論
|
42(3),
|
pp. 244-
|
| 田中尚夫 |
|
解析的整列順序とBasis theorem
|
23(3),
|
pp. 177-
|
| 田中尚夫 |
|
決定性公理に関する最近までの諸結果について－無限ゲームの理論－
|
29(1),
|
pp. 53-
|
| 田中尚夫 |
|
数学基礎論的手法の計算量理論への応用（付：数学他分野との関連）
|
48(4),
|
pp. 372-
|
| 坪井明人 |
|
最近のモデル理論について
|
47(1),
|
pp. 62-
|
| 難波完爾 |
|
Measurable cardinals について
|
18(3),
|
pp. 159-
|
| 難波完爾 |
|
算術的拡大作用素について
|
22(2),
|
pp. 92-
|
| 難波完爾 |
|
ブール代数値の集合論
|
26(4),
|
pp. 289-
|
| 西村敏男 |
|
Gödel の定理をめぐって
|
11(1),
|
pp. 1-
|
| 広瀬 健 |
|
Unsolvability の degree について
|
17(2),
|
pp. 72-
|
| 広瀬 健 |
|
Hilbert の第10 問題をめぐって－否定的解決－
|
25(1),
|
pp. 1-
|
| 福山 克 |
|
Admissible 集合およびadmissible順序数上のrecursion theory 序説
|
25(2),
|
pp. 120-
|
| 藤野精一 |
|
計算機構論
|
15(1),
|
pp. 12-
|
| 前原昭二 |
|
Craig の interpolation theorem
|
12(4),
|
pp. 235-
|
| 本橋信義 |
|
真概念の数学的定義とモデルの理論
|
37(4),
|
pp. 305-
|
| 八杉満利子 |
|
Ordinal Diagram について
|
26(2),
|
pp. 121-
|
| 八杉満利子 |
|
‘Ordinal Diagram について’の訂正
|
28(4),
|
pp. 383-
|
| 八杉満利子・鷲原雅子 |
|
解析学における計算可能性構造
|
50(2),
|
pp. 130-
|
| 安本雅洋 |
|
Nonstandard arithmetic
|
39(4),
|
pp. 320-
|
| 遊上 毅 |
|
Kreisel の予想について
|
38(1),
|
pp. 30-
|
一般社団法人 日本数学会