Publication:5848153
From MaRDI portal
zbMath0064.24103MaRDI QIDQ5848153
Publication date: 1955
00A99: General and miscellaneous specific topics
00-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general
Related Items
Formalization in Philosophy, THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’SGRUNDGESETZE DER ARITHMETIK, Identity, variables, and impredicative definitions