Author:
Ishihara Hajime,Schuster Peter
Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. Berardi S.: Some intuitionistic equivalents of classical principles for degree 2 formulas. Ann. Pure Appl. Logic 139, 185–200 (2006)
2. Berardi, S., Valentini, S.: Between formal topology and game theory. Internal report, University of Padua (2004)
3. Troelstra A.S.: Aspects of constructive mathematics. In: Barwise, J. (ed.) Handbook of Mathematical Logic, North–Holland, Amsterdam (1977)
4. Troelstra A.S., van Dalen D.: Constructivism in Mathematics, Two Volumes. North–Holland, Amsterdam (1988)
5. Veldman, W.: On the constructive contrapositions of two axioms of countable choice. In: Troelstra, A.S., van Dalen, D. (eds.) The L.E.J. Brouwer Centenary Symposium, pp. 513–523. North–Holland, Amsterdam (1982)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Unique paths as formal points;Journal of Logic and Analysis;2011