Login / Signup

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.

Didier GalmicheMarta GawekDaniel Méry
Published in: FSCD (2021)
Keyphrases