Artikel,

Some preservation results for classical and intuitionistic satisfiability in Kripke models.

.
Notre Dame Journal of Formal Logic, 24 (3): 395-398 (1983)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen