Author： Cattaneo G.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.58, Iss.1, 1997-01, pp. : 47-77
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
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality
Studia Logica, Vol. 61, Iss. 3, 1998-11 ,pp. :
Access to resources
Recommend
Studia Logica, Vol. 79, Iss. 2, 2005-03 ,pp. :
Reference and perspective in intuitionistic logics
By Nolt John
Journal of Logic, Language and Information, Vol. 16, Iss. 1, 2007-01 ,pp. :