Sets, Models and Proofs
From MaRDI portal
Publication:3177332
DOI10.1007/978-3-319-92414-4OpenAlexW2109000567MaRDI QIDQ3177332
Ieke Moerdijk, Jaap van Oosten
Publication date: 23 July 2018
Published in: Springer Undergraduate Mathematics Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-92414-4
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Foundations of classical theories (including reverse mathematics) (03B30) Logic (educational aspects) (97E30)
This page was built for publication: Sets, Models and Proofs
