Type theory and formal proof : an introduction - Nederpelt, Rob; Geuvers, Herman, 1964- (Cambridge : Cambridge University Press, 2014)
Keywords: matematická logika; matematické důkazy; teorie důkazu; mathematical logic; mathematical proofs; proof theory; kolektivní monografie; collective monographs