Normal view
MARC view
João Rasga, Cristina Sernadas (Personal Name)
Machine generated authority record
Work cat.: (OSt)1650527: João Rasga, Cristina Sernadas, Decidability of Logical Theories and Their Combination