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