On some characterizations of implicational formulas in the intuitionistic logic

Author(s)

Bibliographic Information

On some characterizations of implicational formulas in the intuitionistic logic

by Takahito Aoto

Aoto Takahito, 1997.3

Available at  / 1 libraries

Search this Book/Journal

Note

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 1997, 博情第2号

Details

  • NCID
    BA31063392
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    [Tatsunokuchi-machi, Ishikawa]
  • Pages/Volumes
    79 leaves
  • Size
    30 cm
Page Top