Opening book details…
Intermediate Pocket Prover User Manual by Ion Severin is a document available to read on EtoBox.