This video will explain how to do proofs in the PredLogic software for Howard Pospesel's book "Introduction to Logic: Predicate Logic"
No download links available.
