Intuitionistic Correspondence Theory [PhD Thesis]
Rodenburg P.H.
The dissertation is completed under the supervision of Prof. Dr. A.S.Troelstra and Prof. Dr. J.F.A.K. van Benthem.
年:
1986
出版社:
University of Amsterdam
语言:
english
页:
165
系列:
Historical Dissertations Series 16
文件:
PDF, 1.85 MB
IPFS:
,
english, 1986