Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/creator/view-inc.php on line 134
Peter Zahn
Artikeln
XA normative model of classical reasoning in higher order languages
2006
Synthese 148/2
