A course on mathematical logic

DOI10.1007/978-0-387-76277-7zbMATH Open1140.03001OpenAlexW1578523569MaRDI QIDQ5920368

Shashi Mohan Srivastava

Publication date: 12 November 2007

Published in: Universitext (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-0-387-76277-7

zbMATH Keywords

completenessincompletenessGödel's theorem

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (3)

Unnamed Item ⋮ A Universal Dynamic Program and Refined Existence Results for Decentralized Stochastic Control ⋮ A course on mathematical logic

This page was built for publication: A course on mathematical logic