order logic dissertation

order logic dissertation