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