Proof and design /
Fourman, M. P.,1950-
University of Edinburgh.Laboratory for Foundations of Computer Science.
Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh,
1995.
Cover title.
Includes bibliographical references.
Systems design.
Systems engineering.
Logic, Symbolic and mathematical.
Proof theory.