Structural proof theory - Negri, Sara, 1967-; Von Plato, Jan, 1951-; Ranta, Aarne (Cambridge : Cambridge University Press, 2001)
Keywords: matematická logika; matematické důkazy; teorie důkazu; mathematical logic; mathematical proofs; proof theory; kolektivní monografie; učební texty; collective monographs; educational texts