scientific article; zbMATH DE number 767007

zbMath0821.01001MaRDI QIDQ4837105

Witold Marciszewski, Roman Murawski

Publication date: 22 June 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

PascalAristotleLeibnizDescartesJ. H. LambertVièteK. GödelG. FregeG. PeanoB. RussellG. BooleA. TuringT. SkolemJ. HerbrandChr. WolffE. SchröderG. GentzenA. ChurchG. PloucquetL. LöwenheimRaymundus Lullus

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) General histories, source books (01A05)

Related Items (3)

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Cognitive artifacts for geometric reasoning ⋮ 2004 Summer Meeting of the Association for Symbolic Logic

This page was built for publication: