Logical frameworks for truth and abstraction : an axiomatic study

Web Site CiNii 所蔵館 44館

書誌事項

タイトル
"Logical frameworks for truth and abstraction : an axiomatic study"
責任表示
Andrea Cantini
出版者
  • Elsevier Science B.V.
出版年月
  • 1996
書籍サイズ
23 cm

この図書・雑誌をさがす

注記

Bibliography: p. [425]-440

Includes index

関連図書・雑誌

もっと見る

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

ページトップへ