Normal view
MARC view
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)138723: Eccles, Peter J., 45779, An introduction to mathematical reasoning :, 1997 ‡g (2006 printing)