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