Normal view MARC view

Proof theory. (Topical Term)

Preferred form: Proof theory.

Machine generated authority record.

Work cat.: (KEPU)0: Sundstrom, Theodore A. 34921, Mathematical reasoning :, c2003.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue