Publication:3077969
From MaRDI portal
zbMath1225.01039MaRDI QIDQ3077969
Publication date: 18 February 2011
Full work available at URL: http://www.cambridge.org/gb/knowledge/isbn/item6608152/?site_locale=en_GB
00A30: Philosophy of mathematics
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
01-02: Research exposition (monographs, survey articles) pertaining to history and biography
Related Items
On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs, Poincaré in Göttingen, Schönfinkel-type operators for classical logic, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic