Publisher： Cambridge University Press
E-ISSN： 1943-5886|37|1|75-80
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.37, Iss.1, 1972-03, pp. : 75-80
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
Intensional logic and two-sorted type theory
The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. :
Access to resources
Recommend
An undecidable two sorted predicate calculus
The Journal of Symbolic Logic, Vol. 34, Iss. 1, 1969-05 ,pp. :
On Ring Structures Under Strong Cup Products
Communications in Algebra, Vol. 38, Iss. 3, 2010-03 ,pp. :
Algebraic Structures Associated to Orbifold Wreath Products
Journal of K-Theory, Vol. 8, Iss. 2, 2011-10 ,pp. :
The Journal of Symbolic Logic, Vol. 17, Iss. 2, 1952-06 ,pp. :