![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 1943-5886|66|3|1011-1057
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.66, Iss.3, 2001-09, pp. : 1011-1057
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
An axiomatization of the logic with the rough quantifier
The Journal of Symbolic Logic, Vol. 56, Iss. 2, 1991-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The European Association for Logic, Language, and Computation
The Journal of Symbolic Logic, Vol. 59, Iss. 3, 1994-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Fast computation in adaptive tree approximation
Numerische Mathematik, Vol. 97, Iss. 2, 2004-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The axiomatization of arithmetic
The Journal of Symbolic Logic, Vol. 22, Iss. 2, 1957-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The axiomatization of randomness
The Journal of Symbolic Logic, Vol. 55, Iss. 3, 1990-09 ,pp. :