TABLEAU SYSTEMS FOR FIRST ORDER NUMBER THEORY AND CERTAIN HIGHER ORDER THEORIES

Date

1970

Author

WALKER, SUE ANN

Metadata

Show full item record

Permanent Link(s)

https://yulib002.mc.yu.edu/login?url=http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:7017107
https://hdl.handle.net/20.500.12202/1936

Collections

Mathematical Sciences Dissertations [157]