An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

Web Site CiNii 所蔵館 3館

書誌事項

タイトル
"An algebraic and Kripke-style approach to a certain extension of intuitionistic logic"
責任表示
Cecylia Rauszer
出版者
  • Państwowe Wydawn. Naukowe : [available from Ars Polona]
出版年月
  • 1980
書籍サイズ
24 cm
シリーズ名/番号
  • pbk.

この図書・雑誌をさがす

注記

At head of title: Polska Akademia Nauk, Instytut Matematyczny

Bibliography: p. 59

Includes index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ