Light monotone Dialectica methods for proof mining
Mircea-Dan Hernest
MLQ, 55(5), 551–561 (2009) .
2009
Full text: http://dx.doi.org/10.1002/malq.200710093
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment