Japanese journal of mathematics. New series
Online ISSN : 1861-3624
Print ISSN : 0289-2316
An extension of intermediate predicate logics to higher order
Dedicated to Emeritus Professor Katudi Ono on the occasion of his Sanju anniversary
Toshio UMEZAWA
著者情報
ジャーナル フリー

1991 年 17 巻 1 号 p. 37-55

詳細
記事の1ページ目
著者関連情報
© The Mathematical Society of Japan
前の記事 次の記事
feedback
Top