Lauxman, Sarah R2011-06-282011-06-281986http://hdl.handle.net/2097/9926Typescript (photocopy).Digitized by Kansas Correctional IndustriesInterpreters (Computer programs)The design of three interpreters - proposition, proposition proof, & predicateThesisThis volume was digitized and made accessible online due to deterioration of the original print copy. If you are the author of this work and would like to have online access removed, please contact the Library Administration Office, 785-532-7400, library@k-state.edu.