Mizar Course in Logic and Set Theory

DOI10.1007/978-3-540-73086-6_17MaRDI QIDQ5428270zbMATH OpenOpenAlexFDO

Authors Ewa Borak, Anna Zalewska

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_17

Mathematics Subject Classification ID

Logic (educational aspects) (97E30) Sets, relations, set theory (educational aspects) (97E60) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Recommendations

• A first course in mathematical logic and set theory
• A course on mathematical logic
• A course on mathematical logic
• scientific article; zbMATH DE number 3182186
• Logic, sets, and mathematics
• A course on set theory
• scientific article; zbMATH DE number 4045703
• scientific article; zbMATH DE number 1016911
• scientific article; zbMATH DE number 3296221
• Logic and sets

Cited in

(4)

• The role of the Mizar mathematical library for interactive proof development in Mizar
• The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
• A Brief Overview of Mizar
• Software Tools in Logic Education: Some Examples

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Mizar Course in Logic and Set Theory

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