An invitation to mathematical logic

DOI10.1007/978-3-031-55368-4MaRDI QIDQ6535889zbMATH OpenFDO

Authors David Marker

Publication date 6 March 2024

Published in Graduate Texts in Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx) Model theory (03Cxx)

This page was built for publication: An invitation to mathematical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535889)