Dag Prawitz
The epistemic significance of valid inference
2012
Synthese 187/3
Truth and proof in intuitionism
2012
in: Epistemology versus ontology, Dordrecht : Springer
Proofs verifying programs and programs producing proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer
2006
Synthese 148/3
The significance of philosophical logic
1999
in: In search of a new humanism, Dordrecht : Springer
1996
Synthese 106/1
1994
Synthese 98/1
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/init/DBconnect.php on line 15
Cannot connect to DataBase