Summary: 



A MODULAR HIERARCHY OF



LOGICAL FRAMEWORKS



A thesis submitted to the University of Manchester

for the degree of Doctor of Philosophy

in the Faculty of Engineering and Physical Sciences

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

Collections: Computer Technologies and Information Sciences