Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)

L.S. Benthem Jutting, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Fingerprint

Dive into the research topics of 'Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)'. Together they form a unique fingerprint.

Computer Science