Logic student on computer