000 a
020 _a9783031211140
100 _aWilliam M. Farmer
245 _aSimple type theory : A practical logic for expressing and reasoning about mathematical ideas
260 _bSpringer
_c2023
999 _c34503
_d34503