Metodo

International Studies in Phenomenology and Philosophy

Journal | Authors

125750

Dag Prawitz

Bibliography 10 | Literature 3

(2000-2009)

X

Proofs verifying programs and programs producing proofs

2008

Dag Prawitz

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link

Meaning approached via proofs

2006

Dag Prawitz

Synthese 148/3

Open Access Link