Computable structure theory : within the arithmetic /
Montalbán, Antonio (1978- )
Computable structure theory : within the arithmetic / Antonio Montalbán. - First published. - Cambridge : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, © 2021. - XXII, 190 stron : ilustracje ; 25 cm. - Perspectives in Logic . - Perspectives in Logic .
Bibliografia na stronach 177-186. Indeks.
9781108423298
Funkcje obliczalne
Logika symboliczna i matematyczna
QA9.59 / .M66 2021
Computable structure theory : within the arithmetic / Antonio Montalbán. - First published. - Cambridge : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, © 2021. - XXII, 190 stron : ilustracje ; 25 cm. - Perspectives in Logic . - Perspectives in Logic .
Bibliografia na stronach 177-186. Indeks.
9781108423298
Funkcje obliczalne
Logika symboliczna i matematyczna
QA9.59 / .M66 2021