On some characterizations of implicational formulas in the intuitionistic logic
Author(s)
Bibliographic Information
On some characterizations of implicational formulas in the intuitionistic logic
Aoto Takahito, 1997.3
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 1997, 博情第2号