Vol-3001⫷ Vol-3002 ⫸Vol-3003
urn:nbn:de:0074-3002-0


Vol-3002/paper25⫷Vol-3002/paper7⫸Vol-3002/paper19
Asta Halkjær FromAnders SchlichtkrullJørgen Villadsen

A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL