TY - BOOK AU - Montalbán,Antonio ED - Cambridge University Press ED - Association for Symbolic Logic TI - Computable structure theory: within the arithmetic T2 - Perspectives in Logic SN - 9781108423298 AV - QA9.59 .M66 2021 PY - 2021/// CY - Cambridge, Ithaca, NY PB - Cambridge University Press, Association for Symbolic Logic KW - Funkcje obliczalne KW - Logika symboliczna i matematyczna N1 - Bibliografia na stronach 177-186. Indeks ER -