Formalizing Hilbert’s Grundlagen in Isabelle/Isar

From MaRDI portal
Publication:3559773

DOI10.1007/10930755_21zbMath1279.68291OpenAlexW1606604604WikidataQ56432564 ScholiaQ56432564MaRDI QIDQ3559773

Laura I. Meikle, Jacques D. Fleuriot

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_21



Related Items


Uses Software