 |
Montalbán, Antonio Computable structure theory : within the arithmetic Cambridge : Cambridge University Press, 2021. xxii, 190 p. -- (Perspectives in logic) QA9.59 M655 |
|
Montalbán, Antonio Computable structure theory : within the arithmetic Cambridge : Cambridge University Press, 2021. xxii, 190 p. -- (Perspectives in logic) QA9.59 M655 |