A Course in Mathematical Logic for Mathematicians
DOI10.1007/978-1-4419-0615-1zbMath1180.03002OpenAlexW649400686WikidataQ56270525 ScholiaQ56270525MaRDI QIDQ3639085
Publication date: 29 October 2009
Published in: Graduate Texts in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4419-0615-1
Church's thesistextbookcompletenessforcingcompactnesstruthmodel theoryprovabilityincompletenesscomputabilitymathematical logicrecursive functionsstability theoryclassification theoryconstructible setsDiophantine setsdeducibilityalgorithmic undecidabilitycontinuum problemconstructive universerecursive groups
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
This page was built for publication: A Course in Mathematical Logic for Mathematicians