Sernadas, Cristina
Cristina Sernadas researcher
VIAF ID: 250144782984959828562 ( Personal )
Permalink: http://viaf.org/viaf/250144782984959828562
Preferred Forms
- 100 0 _ ‡a Cristina Sernadas ‡c researcher
-
- 100 1 _ ‡a Sernadas, Cristina
- 100 1 _ ‡a Sernadas, Cristina
- 100 1 _ ‡a Sernadas, Cristina
-
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems | |
Decidability of Logical Theories and Their Combination | |
Foundations of logic and theory of computation, c2008: | |
Importing logics |