Linguistique de l’écrit

Revue internationale en libre accès

Revue | Auteurs

125750

Dag Prawitz

Bibliographie 10 | Litérature secondaire 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