1993年
On the Härtig-style axiomatization of unprovable and satisfiable formulas of Bernays and Schönfinkel's classes
Logique et Analyse (N.S.)
- 巻
- 36
- 号
- 開始ページ
- 261
- 終了ページ
- 309
- 記述言語
- 英語
- 掲載種別
- 研究論文（学術雑誌）
井上 茂雄
イノウエ タカオ (Takao Inoue)
更新日: 04/03