Login / Signup

Tarskian Structured Consequence Relations and Functional Completeness.

Heinrich Wansing
Published in: Math. Log. Q. (1995)
Keyphrases