Article,

Sequenzenschliessen in Der Algebraischen Attributenlogik.

.
Math. Log. Q., 23 (36): 487-495 (1977)

Meta data

Tags

Users

  • @dblp

Comments and Reviews