Anti-Specker Properties in Constructive Reverse Mathematics (Q111964470)
Jump to navigation
Jump to search
2013 doctoral thesis by James Edgar Dent at University of Canterbury
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Anti-Specker Properties in Constructive Reverse Mathematics |
2013 doctoral thesis by James Edgar Dent at University of Canterbury |
Statements
Anti-Specker Properties in Constructive Reverse Mathematics (English)
0 references
power series
1 reference
University of Canterbury. Department of Mathematics and Statistics
0 references
2013
0 references