References
Andrea Cantini
On stratified truth
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
On formal proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer
Keeping phenomenologists informed since May 2002
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
2008
in: Deduction, computation, experiment, Dordrecht : Springer