Conference Proceedings

Proof Theory and Meaning: on second order logic

G RESTALL

Logica Yearbook 2007 | Filosofia | Published : 2008