DPhil Theses (1997)
-
Takahito Aoto,
On some characterizations of implicational formulas in the intuitionistic logic
-
Hiroyuki Shirasu,
Hyperdoctrinal semantics for non-classical predicate logics
Last modified: June 17, 1997 by Hajime Ishihara
(ishihara@jaist.ac.jp).