scientific article
From MaRDI portal
Publication:3155867
zbMath1060.03004MaRDI QIDQ3155867
Publication date: 19 January 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gödel's incompleteness theoremHilbert's programmeLöwenheim-Skolem theoremmetatheory of deductive systems
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)
This page was built for publication: