Admissibility and refutation: some characterisations of intermediate logics
scientific article; zbMATH DE number 6380531
scientific article