Mizar Course in Logic and Set Theory
From MaRDI portal
Publication:5428270
DOI10.1007/978-3-540-73086-6_17zbMath1202.68373OpenAlexW1581380889MaRDI QIDQ5428270
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
A Brief Overview of Mizar ⋮ 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”
Uses Software
This page was built for publication: Mizar Course in Logic and Set Theory