Formal semantics and applied mathematics: an inferential account
scientific article; zbMATH DE number 7227683