数学
Online ISSN : 1883-6127
Print ISSN : 0039-470X
ISSN-L : 0039-470X
Gödelのprimitive recursive functionalをめぐって
高野 道夫
著者情報
ジャーナル フリー

1977 年 29 巻 4 号 p. 289-298

詳細
記事の1ページ目
著者関連情報
© 日本数学会
次の記事
feedback
Top