TY  - CHAP
AU  - HAZEN, ALLEN PATTERSON
Y2  - 2014/05/21
Y1  - 2004
UR  - http://hdl.handle.net/11343/25615
N1  - application/pdf
PB  - Walter de Gruyter
KW  - Logic; Other
T1  - A "constructive" proper extension of ramified type theory (the logic of Principia Mathematica, second edition, Appendix B)
SP  - 449-480
L1  - /bitstream/handle/11343/25615/114687_4336.pdf?sequence=1&isAllowed=n
ER  -