Showing 1 - 2 results of 2 for search '"Errett Bishop"', query time: 0.35s Refine Results
  1. 1
    Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
    by Sam Sanders
    Published 2014-03-01
    “... the tight correspondence to Errett Bishop's Constructive Analysis and the associated Constructive Reverse...”
    Get full text
    Article
  2. 2
    Constructive mathematics : its set theory and practice
    by Bridges, Douglas Sutherland
    Published 1974
    “...) there is laid down a set-theoretic foundation for constructive mathematics as understood by Errett Bishop...”
    Get full text
Search Tools: Get RSS Feed — Email this Search