Martin Simons

The presentation of formal proofs.
. Berlin Institute of Technology, (1997)
  •  :
  •  :
далее