Publisher: Cambridge University Press
E-ISSN: 2079-7338|10|4|711-736
ISSN: 1004-8979
Source: Numerical Mathematics: Theory, Methods and Applications, Vol.10, Iss.4, 2017-09, pp. : 711-736
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Higher-order semantics and extensionality
The Journal of Symbolic Logic, Vol. 69, Iss. 4, 2004-12 ,pp. :
Hauptsatz for higher-order modal logic
The Journal of Symbolic Logic, Vol. 48, Iss. 3, 1983-09 ,pp. :