A quantifier-free string theory for ALOGTIME reasoning.
Published: 2000
Language: eng
Number of pages: 131
Notes: Thesis (Ph.D.) -- University of Toronto, 2000.

ENGI copy has differs in paging: x, 137 p.