scientific article
From MaRDI portal
Publication:3016123
zbMath1216.03014MaRDI QIDQ3016123
No author found.
Publication date: 13 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (7)
A Comparison of Type Theory with Set Theory ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ The Concepts of Proof and Ground ⋮ The neglect of epistemic considerations in logic: the case of epistemic assumptions ⋮ \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem ⋮ THE CONCEPTHORSEIS A CONCEPT ⋮ Intuitionist and Classical Dimensions of Hegel’s Hybrid Logic
This page was built for publication:
