Languages
Sernadas, Cristina.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Decidability of Logical Theories and Their Combination
by:
SpringerLink (Online service); Rasga, João.; Sernadas, Cristina.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Foundations of logic and theory of computation /
by:
Sernadas, Cristina.; Sernadas, A., (1952-)
(Language materials, printed)
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Coniglio, Marcelo.; Carnielli, Walter.; Sernadas, Cristina.; Gouveia, Paula.; Gabbay, Dov M.; SpringerLink (Online service)
(Language materials, printed)