![](/img/cover-not-exists.png)
An algebraic characterization of inductive soundness in proof by consistency
Zhiqing Shao, Guoxin SongVolume:
10
Language:
english
Pages:
4
DOI:
10.1007/bf02943497
Date:
May, 1995
File:
PDF, 242 KB
english, 1995