Login / Signup

A Shared Framework for Consequence Operations and Abstract Model Theory.

Christian Wallmann
Published in: Logica Universalis (2013)
Keyphrases