17667111
Results 1 to 1 of 1
Selection :
A normative model of classical reasoning in higher order languages = Un modèle normatif pour le raisonnement classique dans les langages d'ordre supérieurZAHN, Peter.Synthese (Dordrecht). 2006, Vol 148, Num 2, pp 309-343, issn 0039-7857, 35 p.Article