Computational isomorphisms in classical logic
scientific article; zbMATH DE number 1956196