Computable structure theory within the arithmetic Montalbán, Antonio (1978- ) creator Autor Cambridge University Press Wydawca pbl Association for Symbolic Logic Wydawca pbl text biography xxk Cambridge Ithaca, NY Cambridge University Press Association for Symbolic Logic © 2021 2021 First published. monographic eng
print
XXII, 190 stron : ilustracje ; 25 cm. Antonio Montalbán. Bibliografia na stronach 177-186. Indeks. Funkcje obliczalne Logika symboliczna i matematyczna QA9.59 .M66 2021 Perspectives in Logic 9781108423298 WA U/97AMO 231024 20241231095651.0 xx005640373 pol