Computability, Finiteness and the Standard Model of Arithmetic
- Carrara, M.
- Plebani, M.
- Martino, E.
ISSN: 2214-7942, 0068-0346
Year of publication: 2016
Volume: 318
Pages: 311-318
Type: Book chapter
ISSN: 2214-7942, 0068-0346
Year of publication: 2016
Volume: 318
Pages: 311-318
Type: Book chapter