Constructivizing results obtained for intuitionistic formal systems by means of classical semantics

CiNii 所蔵館 1館

書誌事項

タイトル
"Constructivizing results obtained for intuitionistic formal systems by means of classical semantics"
責任表示
by A.S. Troelstra
出版者
  • University of Amsterdam. Mathematisch Instituut
出版年月
  • 1977
書籍サイズ
30 cm

この図書・雑誌をさがす

注記

Bibliography: p. 17-18

関連図書・雑誌

もっと見る

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

  • CRID
    1130000797894256640
  • NII書誌ID
    BB28284459
  • 本文言語コード
    en
  • 出版国コード
    ne
  • タイトル言語コード
    en
  • 出版地
    • Amsterdam
  • データソース種別
    • CiNii Books
ページトップへ