Project

Formele karakteriseringen van weerlegbare redeneervormen: de mogelijkheden en grenzen van het standaard formaat voor adaptieve logica's