Současný stav ve výzkumu základů matematiky
Súčasné trendy v algebre
Sur les éléments de construction de la logique mathématique
Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article de Schönfinkel,...
Sur l'histoire des diagrammes logiques, «figures géométriques»
Sur quelques structures de base pour définir les structures