Acta Structuralica
international journal for structuralist research
Journal | Authors
On stratified truth
2015
Andrea Cantini
in: Unifying the philosophy of truth, Dordrecht : Springer
On formal proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer