A System of Simple Type Theory with Type Variables

Annals of the Japan Association for Philosophy of Science

Online ISSN : 1884-1228
Print ISSN : 0453-0691
ISSN-L : 0453-0691

A System of Simple Type Theory with Type Variables

Shôji MAEHARA

著者情報

ジャーナルフリー

1969 年 3 巻 4 号 p. 131-137

DOI https://doi.org/10.4288/jafpos1956.3.131

詳細

記事の1ページ目

著者関連情報

© The Japan Association for Philosophy of Science

お気に入り & アラート

関連記事

閲覧履歴

Top