If structured propositions are logical procedures then how are procedures individuated?
scientific article; zbMATH DE number 7433671