Constructive algebraic integration theory without choice. Dagstuhl proceedings (2005)

Cached

Download Links

by Bas Spitters
Venue:Mathematics, Algorithms, Proofs, number 05021 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl
Citations:9 - 5 self