机译:Dialectica logical principles:Not only rules
Department of Computer Science, University of Pisa, Piano Secondo, Largo Bruno Pontecorvo, 3, 56127 Pisa PI, Italy;
School of Mathematics, University of Leeds, Woodhouse Lane, Leeds LS2 9JT, United Kingdom;
Topos Institute, 2140 Shattuck Ave, Suite 610 Berkeley, CA 94704, USA;