Constructive mathematics - its set theory and practice

Constructive mathematics - its set theory and practice

<p>The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is laid down a set-theoretic foundation for constructive mathematics as understood by Errett Bishop and his followers. The work of this part closely follows the lines of the corresponding classical...

Descripció completa

Dades bibliogràfiques
Autors principals:	Sutherland Bridges, D, Sutherland Bridges, Douglas
Format:	Thesis
Idioma:	English
Publicat:	1974

Ítems similars

Well Differentiated Intrahepatic Cholangiocarcinoma in the Setting of Biliary Papillomatosis: A Case Report and Review of the Literature
per: Heather Cox, et al.
Publicat: (2005-01-01)

Constructive functional analysis/
per: 234703 Bridges, D. S.
Publicat: (1979)

Constructive functional analysis /
per: 234703 Bridges, D. S.
Publicat: (1979)

Z-stability in Constructive Analysis
per: Douglas Bridges, et al.
Publicat: (2017-04-01)

Teaching for learning mathematics /
per: Sutherland, Rosamund, 1947-
Publicat: (2007)

The learning of mathematics : its theory and practice/
per: 10697 National Council of Teachers of Mathematics, et al.
Publicat: (1953)

Percutaneous Endoscopic Gastrostomy
per: Ronald J. Bridges, et al.
Publicat: (1989-01-01)

Precompact Apartness Spaces
per: Douglas S Bridges
Publicat: (2012-06-01)

Locating subsets of B(H) relative to seminorms inducing the strong-operator topology
per: Douglas Bridges
Publicat: (2011-04-01)

Techniques of constructive analysis [electronic book]/
per: 352960 Bridges, Douglas S., et al.
Publicat: (2006)

Post-test impression creep evaluation methods and findings for improved code of practice
per: A. Bridges, et al.
Publicat: (2018-09-01)

The reality of mathematics and the case of set theory
per: Isaacson, D
Publicat: (2011)

Theory and applications of algebraic topology
per: Sutherland, W
Publicat: (1963)

Locating Ax, where A is a subspace of B(H)
per: Douglas Suth Bridges
Publicat: (2014-06-01)

Foundations of real and abstract analysis /
per: Bridges, D. S., (Douglas S.), 1945-
Publicat: (1998)

Formulaic language in cortical and subcortical disease: Evidence of the dual process model.
per: Kelly Bridges, et al.
Publicat: (2014-04-01)

Elements of mathematics : theory of sets /
per: 343698 Bourbaki, Nicolas
Publicat: (1968)

Elements of mathematics : theory of sets /
per: 343698 Bourbaki, Nicolas
Publicat: (2004)

The foundations of mathematics in the theory of sets /
per: 438078 Mayberry, John P.
Publicat: (2000)

Theory of education /
per: 201575 Sutherland, Margaret
Publicat: (1988)

Mathematical logic, the theory of algorithms and theory of sets /
per: Adjan, S.
Publicat: (1977)

Logo mathematics in the classroom /
per: 385340 Hoyles, Celia, et al.
Publicat: (1989)

18.785 Number Theory I, Fall 2016
per: Sutherland, Andrew
Publicat: (2018)

18.785 Number Theory I, Fall 2017
per: Sutherland, Andrew
Publicat: (2020)

18.785 Number Theory I, Fall 2019
per: Sutherland, Andrew
Publicat: (2023)

18.785 Number Theory I, Fall 2015
per: Sutherland, Andrew
Publicat: (2017)

Exploring mathematics with spread sheets /
per: 333260 Healy, Lulu, et al.
Publicat: (1991)

The Carceral Archive: Documentary Records, Narrative Construction, and Predictive Risk Assessment
per: Tonia Sutherland
Publicat: (2019-06-01)

Elements of mathematical logic and set theory /
per: 323266 Slupecki, J., et al.
Publicat: (1967)

Mathematical logic and foundations of set theory
Publicat: (1970)

Mathematics in theory and practice /
per: Sawyer, Walter Warwick
Publicat: ([n d)

China and Africa: Alternative Telecommunication Policies and Practices
per: Ewan Sutherland
Publicat: (2016-08-01)

Constructibility in impredicative set theory.
per: Tharp, Leslie Howard
Publicat: (2005)

Evaluation of the Parkinson’s Remote Interactive Monitoring System in a Clinical Setting: Usability Study
per: Bronwyn Bridges, et al.
Publicat: (2024-05-01)

Structural theory/
per: Sutherland, Hale, 1884-, et al.
Publicat: (1950)

Mathematical programming in theory and practice /
per: NATO Advanced Study Institute on Mathematical Programming in Theory and Practice (1972 : Figueira da Foz, Portugal), et al.
Publicat: (1974)

Mathematics teaching : theory in practice/
per: 286488 Brissenden, T. H. F.
Publicat: (1980)

Theory construction, from verbal to mathematical formulations
per: José Pastore
Publicat: (1971-07-01)

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
per: S.I. MASALOVA
Publicat: (2007-09-01)

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
per: S.I. MASALOVA
Publicat: (2018-08-01)