Mathematical Logic and Computation

DOI10.1017/9781108778756OpenAlexW4297610582MaRDI QIDQ5093873

Jeremy Avigad

Publication date: 1 August 2022

Full work available at URL: https://doi.org/10.1017/9781108778756

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx) Computer science support for mathematical research and practice (68Vxx)

Related Items (1)

A step towards absolute versions of metamathematical results

This page was built for publication: Mathematical Logic and Computation