This course provides an introduction to quantum logic and more general quantum structures. It also deals with the geometrical aspects of quantum theory. The topics are organized in order to connect the old technical problems in the field, with more up-to-date applications to quantum information science. It was dictated in the 2019 edition of the Computer Science School (ECI) at the University of Buenos Aires. The classes are recorded and can be accessed through this link.