Login / Signup

The Institution-Theoretic Scope of Logic Theorems.

Razvan DiaconescuTill MossakowskiAndrzej Tarlecki
Published in: Logica Universalis (2014)
Keyphrases