A COMPUTABLE א0-CATEGORICAL STRUCTURE WHOSE THEORY COMPUTES TRUE ARITHMETIC.

MLA

Khoussainov, Bakhadyr, and Antonio Montalbán. “A Computable א0-Categorical Structure Whose Theory Computes True Arithmetic.” Journal of Symbolic Logic, vol. 75, no. 2, June 2010, pp. 728–40. EBSCOhost, https://doi.org/10.2178/jsl/1268917501.

APA

Khoussainov, B., & Montalbán, A. (2010). A Computable א0-Categorical Structure Whose Theory Computes True Arithmetic. Journal of Symbolic Logic, 75(2), 728–740. https://doi.org/10.2178/jsl/1268917501

Chicago

Khoussainov, Bakhadyr, and Antonio Montalbán. 2010. “A Computable א0-Categorical Structure Whose Theory Computes True Arithmetic.” Journal of Symbolic Logic 75 (2): 728–40. doi:10.2178/jsl/1268917501.