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.
Catégories:
Année:
1986
Editeur::
University of Amsterdam
Langue:
english
Pages:
165
Collection:
Historical Dissertations Series 16
Fichier:
DJVU, 1.99 MB
IPFS:
,
english, 1986