Some logics of finite sets

13^th December 2005, 16:00
Dr. Thomas Ågotnes
Department of Informatics, University of Bergen, Norway