scientific article; zbMATH DE number 1169382
From MaRDI portal
Publication:4397034
zbMath0896.03007MaRDI QIDQ4397034
Publication date: 25 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Church's thesiscompletenessHeyting arithmeticproof theorytopological modelslawless sequencesMarkov's ruleHeyting's predicate logicintuitionistic incompleteness
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items
This page was built for publication: