Essential Structure of Proofs as a Measure of Complexity Jaime RamosJoão RasgaCristina Sernadas OriginalPaper 07 April 2020 Pages: 209 - 242
Introducing H, an Institution-Based Formal Specification and Verification Language Răzvan Diaconescu OriginalPaper 04 April 2020 Pages: 259 - 277
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice David W. Miller Publisher Correction 22 April 2020 Pages: 279 - 279