Cover Image

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /

Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.

Bibliographic Details
Other Authors:	Crosilla, Laura (Editor), Schuster, Peter, 1966- (Editor)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Oxford : Clarendon, 2005.
Series:	Oxford logic guides ; 48.
Subjects:	Constructive mathematics > Congresses. Mathématiques constructives > Congrès. MATHEMATICS > Infinity. MATHEMATICS > Logic. Constructive mathematics Constructieve wiskunde. Analyse (wiskunde) Topologie. Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Connect to the full text of this electronic book

Similar Items

Constructive order types
by: Crossley, John N.
Published: (1969)

Essays in constructive mathematics /
by: Edwards, Harold M.
Published: (2005)

Intentional mathematics /
Published: (1985)

Constructibility and mathematical existence /
by: Chihara, Charles S., 1932-
Published: (1990)

Constructivism in mathematics : an introduction.
by: Troelstra, A. S. (Anne Sjerp)
Published: (1988)

A formal background to mathematics /
by: Edwards, R. E. (Robert E.), 1926-
Published: (1979)

Seifert and Threlfall, A textbook of topology /
by: Seifert, H. (Herbert), 1907-1996
Published: (1980)

Techniques of constructive analysis /
by: Bridges, D. S. (Douglas S.), 1945-
Published: (2006)

Set theory /
by: Jech, Thomas J.
Published: (1978)

Positive topology : a new practice in constructive mathematics /
by: Sambin, Giovanni
Published: (2025)

Mathematics of economics and business /
by: Werner, Frank
Published: (2006)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

The foundations of mathematics /
by: Stewart, Ian, 1945-, et al.
Published: (1977)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Introduction to set theory and topology /
by: Kuratowski, Kazimierz, 1896-1980
Published: (1972)

Problems in the philosophy of mathematics /
Published: (1967)

Real and complex analysis /
by: Rudin, Walter, 1921-2010
Published: (1987)

Encyclopaedia of mathematical sciences.

A mathematical bridge : an intuitive journey in higher mathematics /
by: Hewson, Stephen Fletcher
Published: (2003)

Philosophia mathematica.
Published: (1964)

Selected papers on Automath /
Published: (1994)

Handbook of mathematical logic /
Published: (1977)

Annals of mathematics.
Published: (1884)

Algebra of proofs /
Published: (1978)

Mathematics of the USSR.
Published: (1967)

Annals of mathematics.

Mathematics of the USSR - Sbornik.
Published: (1968)

American journal of mathematics.

Journal of mathematical sciences.
Published: (1994)

Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)

Proceedings of the Edinburgh Mathematical Society.

Journal of mathematics of Kyoto University.
Published: (1961)

Journal of mathematics of Kyoto University.
Published: (1961)

Journal of the Mathematical Society of Japan.
Published: (1948)

Transactions of the American Mathematical Society.

Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)

Bulletin (new series) of the American Mathematical Society.
Published: (1979)

Canadian mathematical bulletin = Bulletin canadien de mathématiques.

Theorems, corollaries, lemmas, and methods of proof /
by: Rossi, Richard J., 1956-
Published: (2006)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)