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...

書誌詳細
主要な著者:	Sutherland Bridges, D, Sutherland Bridges, Douglas
フォーマット:	学位論文
言語:	English
出版事項:	1974

類似資料

Well Differentiated Intrahepatic Cholangiocarcinoma in the Setting of Biliary Papillomatosis: A Case Report and Review of the Literature
著者:: Heather Cox, 等
出版事項: (2005-01-01)

Constructive functional analysis/
著者:: 234703 Bridges, D. S.
出版事項: (1979)

Constructive functional analysis /
著者:: 234703 Bridges, D. S.
出版事項: (1979)

Z-stability in Constructive Analysis
著者:: Douglas Bridges, 等
出版事項: (2017-04-01)

Teaching for learning mathematics /
著者:: Sutherland, Rosamund, 1947-
出版事項: (2007)

The learning of mathematics : its theory and practice/
著者:: 10697 National Council of Teachers of Mathematics, 等
出版事項: (1953)

Percutaneous Endoscopic Gastrostomy
著者:: Ronald J. Bridges, 等
出版事項: (1989-01-01)

Precompact Apartness Spaces
著者:: Douglas S Bridges
出版事項: (2012-06-01)

Locating subsets of B(H) relative to seminorms inducing the strong-operator topology
著者:: Douglas Bridges
出版事項: (2011-04-01)

Techniques of constructive analysis [electronic book]/
著者:: 352960 Bridges, Douglas S., 等
出版事項: (2006)

Post-test impression creep evaluation methods and findings for improved code of practice
著者:: A. Bridges, 等
出版事項: (2018-09-01)

The reality of mathematics and the case of set theory
著者:: Isaacson, D
出版事項: (2011)

Theory and applications of algebraic topology
著者:: Sutherland, W
出版事項: (1963)

Locating Ax, where A is a subspace of B(H)
著者:: Douglas Suth Bridges
出版事項: (2014-06-01)

Foundations of real and abstract analysis /
著者:: Bridges, D. S., (Douglas S.), 1945-
出版事項: (1998)

Formulaic language in cortical and subcortical disease: Evidence of the dual process model.
著者:: Kelly Bridges, 等
出版事項: (2014-04-01)

Elements of mathematics : theory of sets /
著者:: 343698 Bourbaki, Nicolas
出版事項: (1968)

Elements of mathematics : theory of sets /
著者:: 343698 Bourbaki, Nicolas
出版事項: (2004)

The foundations of mathematics in the theory of sets /
著者:: 438078 Mayberry, John P.
出版事項: (2000)

Theory of education /
著者:: 201575 Sutherland, Margaret
出版事項: (1988)

Mathematical logic, the theory of algorithms and theory of sets /
著者:: Adjan, S.
出版事項: (1977)

Logo mathematics in the classroom /
著者:: 385340 Hoyles, Celia, 等
出版事項: (1989)

18.785 Number Theory I, Fall 2016
著者:: Sutherland, Andrew
出版事項: (2018)

18.785 Number Theory I, Fall 2017
著者:: Sutherland, Andrew
出版事項: (2020)

18.785 Number Theory I, Fall 2019
著者:: Sutherland, Andrew
出版事項: (2023)

18.785 Number Theory I, Fall 2015
著者:: Sutherland, Andrew
出版事項: (2017)

Exploring mathematics with spread sheets /
著者:: 333260 Healy, Lulu, 等
出版事項: (1991)

The Carceral Archive: Documentary Records, Narrative Construction, and Predictive Risk Assessment
著者:: Tonia Sutherland
出版事項: (2019-06-01)

Elements of mathematical logic and set theory /
著者:: 323266 Slupecki, J., 等
出版事項: (1967)

Mathematical logic and foundations of set theory
出版事項: (1970)

Mathematics in theory and practice /
著者:: Sawyer, Walter Warwick
出版事項: ([n d)

China and Africa: Alternative Telecommunication Policies and Practices
著者:: Ewan Sutherland
出版事項: (2016-08-01)

Constructibility in impredicative set theory.
著者:: Tharp, Leslie Howard
出版事項: (2005)

Evaluation of the Parkinson’s Remote Interactive Monitoring System in a Clinical Setting: Usability Study
著者:: Bronwyn Bridges, 等
出版事項: (2024-05-01)

Structural theory/
著者:: Sutherland, Hale, 1884-, 等
出版事項: (1950)

Mathematical programming in theory and practice /
著者:: NATO Advanced Study Institute on Mathematical Programming in Theory and Practice (1972 : Figueira da Foz, Portugal), 等
出版事項: (1974)

Mathematics teaching : theory in practice/
著者:: 286488 Brissenden, T. H. F.
出版事項: (1980)

Theory construction, from verbal to mathematical formulations
著者:: José Pastore
出版事項: (1971-07-01)

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
著者:: S.I. MASALOVA
出版事項: (2007-09-01)

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
著者:: S.I. MASALOVA
出版事項: (2018-08-01)