Mathematical Logic and Computation
From MaRDI portal
Publication:5093873
DOI10.1017/9781108778756OpenAlexW4297610582MaRDI QIDQ5093873
Publication date: 1 August 2022
Full work available at URL: https://doi.org/10.1017/9781108778756
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)
This page was built for publication: Mathematical Logic and Computation