Cristina Sernadas

Identifiers

Open LibraryOL9935815A

Top Subjects

Logic, symbolic and mathematical (1)

Books by Cristina Sernadas

Total count: 3

Analysis and Synthesis of LogicsHow to Cut and Paste Reasoning Systems

Springer Netherlands2010-01-01
Decidability of Logical Theories and Their Combinations

Springer International Publishing AG2020-01-01
Decidability of Logical Theories and Their Combination

Springer International Publishing AG2021-01-01