序列微积分-一流百科

序列微积分

简介在数理逻辑中，序列微积分是一种形式逻辑论证的风格，其中证明的每一行都是一个条件同义词（GerhardGentzen称之为序列），而不是一个无条件同义词。每一...

词条百科

扫码分享到朋友圈