Author： Berwanger Dietmar
Publisher： Springer Publishing Company
ISSN： 1432-4350
Source： Theory of Computing Systems, Vol.40, Iss.4, 2007-06, pp. : 437-466
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
Emch's calculus and strict implication
The Journal of Symbolic Logic, Vol. 1, Iss. 3, 1936-09 ,pp. :
Access to resources
Recommend
A Functional calculus of first order based on strict implication
The Journal of Symbolic Logic, Vol. 11, Iss. 1, 1946-03 ,pp. :
On formulas of one variable in intuitionistic propositional calculus
The Journal of Symbolic Logic, Vol. 25, Iss. 4, 1960-12 ,pp. :