Publisher： Cambridge University Press
E-ISSN： 1755-1633|8|2|211-214
ISSN： 0004-9727
Source： Bulletin of the Australian Mathematical Society, Vol.8, Iss.2, 1973-04, pp. : 211-214
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
A constructive proof of McNaughton's theorem in infinite-valued logic
The Journal of Symbolic Logic, Vol. 59, Iss. 2, 1994-06 ,pp. :
Access to resources
Recommend
Frege's theorem in a constructive setting
The Journal of Symbolic Logic, Vol. 64, Iss. 2, 1999-06 ,pp. :
A New Proof of Bartholdi's Theorem
Journal of Algebraic Combinatorics, Vol. 22, Iss. 3, 2005-11 ,pp. :
A proof of the no rational invariant theorem
Journal of Difference Equations and Applications, Vol. 12, Iss. 7, 2006-07 ,pp. :