The University of Dodoma Library

Normal view MARC view

Proof theory. (Topical Term)

This authority is not used in any records.
Preferred form: Proof theory.

Machine generated authority record.

Work cat.: (OSt)0: O'Leary, Michael L. 1163, The structure of proof :, c2002.

© The University of Dodoma 2017