scientific article; zbMATH DE number 194717
From MaRDI portal
Publication:4692716
zbMath0702.00037MaRDI QIDQ4692716
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
methodologyAxiomatizationPlatonismphilosophy of mathematicsGödel's incompleteness theoremsintuitionformalization
Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items (1)
This page was built for publication: