The little prover - Friedman, Daniel P.; Eastlund, Carl; Moore, J. Strother (The MIT Press, 2015)
Description based on print version record