Browsing: introduction to logic design