Normal view MARC view

Proof theory. (Topical Term)

Used in 2 records
Preferred form: Proof theory.

Machine generated authority record.

Work cat.: (GY-GeU)0: Lay, Steven R., 1944- 60402, Analysis :, c1986.