Computable structure theory : within the arithmetic
Antonio Montalbán, Cambridge University Press (Publisher), Association for Symbolic Logic (Publisher)
Print Book, English, © 2021
First published
Cambridge University Press : Association for Symbolic Logic, Cambridge, Ithaca, NY, © 2021