Normal view
MARC view
Proof theory (Topical Term)
Machine generated authority record
Work cat.: (OSt)10996: Lolli, Gabriele, 1942- author. 32699, The meaning of proofs :