On the logical structure of choice and bar induction principles Download Version Download 46 File Size 295.47 KB File Count 1 Create Date 8 June 2021 Last Updated 8 June 2021 On the logical structure of choice and bar induction principles Nuria Brede and Hugo Herbelin
Leave a Comment