125748

References

Andrea Cantini

On stratified truth

2015

in: Unifying the philosophy of truth, Dordrecht : Springer

Open Access Link
On formal proofs

2008

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link