Jouko Va{diaer}a{diaer}na{diaer}nen profile picture

Jouko Va{diaer}a{diaer}na{diaer}nen

Is this your author profile? Create an account to customize it!

Stand Alone

Dependence Logic A New Approach to Independence Friendly Logic