@dblp

A topological characterization of consistency of logic theories in propositional logic.

, und . Math. Log. Q., 52 (5): 470-477 (2006)

Beschreibung

dblp

Links und Ressourcen

Tags