On Some Semantic Tableau Proof Procedures for Modal Logic (Fortschritt-berichte Der Vdi-zeitschriften)

On Some Semantic Tableau Proof Procedures for Modal Logic (Fortschritt-berichte Der Vdi-zeitschriften)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 150 p.
  • 言語 ENG
  • 商品コード 9783181430101

最近チェックした商品