A proof-theoretic analysis of da Costa's C*

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 95
Andres R. Raggio

 

do góry