Normal view MARC view
  • Proof theory

Proof theory(Topical Term)

Number of records used in: 4
Preferred form: Proof theory

Machine generated authority record

Work cat.: (KE-NaSUL)61159: Proof, logic, and formalization, 1992.

© Strathmore University Library
Madaraka Estate, Ole Sangale Road | P. O. Box 59857 - 00200 City Square, Nairobi, Kenya
(+254) (0)703 034 000/200/300 | (+254) (0)20-607498