scientific article; zbMATH DE number 2079829

zbMATH Open1042.03002MaRDI QIDQ4471935FDOQ4471935

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

Title of this publication is not available (Why is that?)

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

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)

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)