Login / Signup

A Descending Chain of Incomplete Extensions of Implicational S 5.

Dolph Ulrich
Published in: Math. Log. Q. (1985)
Keyphrases