Constructive Mathematics Image close
Constructive Mathematics
Constructive Mathematics
Show Hide Adult Content
Constructive Mathematics close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Constructive Mathematics

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$158.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $39.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 21 Jun - 3 Jul using International Courier

Explore more Lecture Notes in Mathematics

See all products in this series

Limit Theorems for Unions of Random Closed Sets by Ilya S. Molchanov
$109.99
Limit Theorems for Unions of Random Closed Sets
by Ilya S. Molchanov ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fractals and Hyperspaces by Keith R Wicks
$93.99
Fractals and Hyperspaces
by Keith R Wicks ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Year 1979-80
$157.99
Logic Year 1979-80
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Theory and Algebraic Geometry
$151.99
Model Theory and Algebraic Geometry
Paperback / softback
Available - Usually ships in 3-4 weeks
Polynomes Orthogonaux Formels - Applications on Paperback by A. Draux Save $43
$152.99
$195.99
Polynomes Orthogonaux Formels - Applications
by A. Draux ~ Paperback
Available - Usually ships in 3-4 weeks
ISILC - Proof Theory Symposion
$123.99
ISILC - Proof Theory Symposion
Paperback / softback
Available - Usually ships in 3-4 weeks
Cylindric Set Algebras by L. Henkin
$146.99
Cylindric Set Algebras
by L. Henkin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Minimal Free Resolutions over Complete Intersections by Irena Peeva
$118.99
Minimal Free Resolutions over Complete Intersections
by Irena Peeva ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Effective Kan Fibrations in Simplicial Sets by Benno van den Berg
$158.99
Effective Kan Fibrations in Simplicial Sets
by Benno van den Berg ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Decidable Theories by J.R. Buchi
$145.99
Decidable Theories
by J.R. Buchi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Axiom of Choice by Horst Herrlich
$162.99
Axiom of Choice
by Horst Herrlich ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nearly Projective Boolean Algebras by Lutz Heindorf
$173.99
Nearly Projective Boolean Algebras
by Lutz Heindorf ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Enumerative Theory of Conics after Halphen by Eduardo Casas-Alvero
$107.99
The Enumerative Theory of Conics after Halphen
by Eduardo Casas-Alvero ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Loeb Measures in Practice: Recent Advances by Nigel J Cutland
$130.99
Loeb Measures in Practice: Recent Advances
by Nigel J Cutland ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Equivariant Ordinary Homology and Cohomology by Stefan Waner
$134.99
Equivariant Ordinary Homology and Cohomology
by Stefan Waner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces by L. Molnar
$137.99
Selected Preserver Problems on Algebraic Structures of Linear...
by L. Molnar ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description



Table of Contents

Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics - the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.
Release date Australia
August 1st, 1981
Audience
  • Professional & Vocational
Contributor
  • Edited by F. Richman
Illustrations
X, 350 p.
Pages
350
Dimensions
156x234x18
ISBN-13
9783540108504
Product ID
2826751

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic