scientific article; zbMATH DE number 2079829

MaRDI QIDQ4471935zbMATH OpenFDO

Authors Luis M. Laita, Luis de Ledesma, Alberto Brunori, Eugenio Roanes-Lozano

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1930/19300001.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) History of mathematics in the 19th century (01A55) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 5672698
• A computational approach to George Boole's discovery of mathematical logic
• George Boole's deductive system
• The life and work of George Boole. A prelude to the digital age. With a foreword by Ian Stewart
• A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26--27, 1997

Cited in

(5)

• The late George Boole, LL. D., D. C. L., Professor of Mathematics, Queen's College, Cork; author of `The laws of thought', etc
• Projection, consistency, and George Boole
• The life and work of George Boole. A prelude to the digital age. With a foreword by Ian Stewart
• George Boole's deductive system
• Frege and the resolution calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471935)