Logical System bergmann Example of a difficult derivation 6/1/09 need to check Your browser does not support html5 video.
