Hovedfagsseminar i logikk ved Språk, logikk og informasjon