Writing out unifiers for formulas with coefficients in intuitionistic logic

Author: Rybakov Vladimir V.  

Publisher: Oxford University Press

ISSN: 1368-9894

Source: Logic Journal of the IGPL, Vol.21, Iss.2, 2013-04, pp. : 187-198

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract