Metalogical frameworks - Basin, David A.; Constable, Robert Lee 1952- (1991)