Ossolineum – „Mała encyklopedia logiki”