A Compact Introduction to Structured Proofs in Isar/HOL
Nipkow, Tobias
(Internet (in notebook)) (2002)
In Collection
#1242
0*
Notebook 
Product Details
Personal Details
Read It No
Location B7