Formalizing Hilbert’s Grundlagen in Isabelle/Isar

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/10930755_21 ◽

2003 ◽

pp. 319-334 ◽

Cited By ~ 24

Author(s):

Laura I. Meikle ◽

Jacques D. Fleuriot

Download Full-text