scientific article
From MaRDI portal
Publication:3718677
zbMath0591.03002MaRDI QIDQ3718677
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryfoundations of mathematicsHilbert's programSet theorytheory of algorithmstheorems of Gödel
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Algorithms in computer science (68W99) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx) Set theory (03Exx)
Related Items (2)
Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory ⋮ Big mathematical systems
This page was built for publication:
