scientific article; zbMATH DE number 2000436

MaRDI QIDQ4433983zbMATH OpenFDO

Authors Masahiko Sato, Yukiyoshi Kameyama, Takeuti Izumi

Publication date 3 November 2003

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem books, competitions, examinations (aspects of mathematics education) (97U40)

Recommendations

• Towards a computation system based on set theory
• Proofs and programs
• scientific article; zbMATH DE number 4133470
• Computational logic: its origins and applications
• \textit{Symlog}. Automated advice in Fitch-style proof construction

Describes a project that uses

Uses Software

• CAL

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 Q4433983)