search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Proof Theory #30

Open greenTara opened 11 years ago

greenTara commented 11 years ago

Informative Annex on CL proof theory