Louis Couturat -Traité de Logique algorithmique

DOI10.1007/978-3-0346-0411-6zbMath1200.01051OpenAlexW2483687677MaRDI QIDQ5851832

No author found.

Publication date: 25 January 2010

Full work available at URL: https://doi.org/10.1007/978-3-0346-0411-6

zbMATH Keywords

propositional logicalgebra of sets

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) Logical aspects of Boolean algebras (03G05) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (1)

The French ‘Analysts’ and Peano’s Mathematical Logic: Couturat’s Remarques to Borel, Baire and Lebesgue

This page was built for publication: Louis Couturat -Traité de Logique algorithmique