Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

A. S. Troelstra and D. van Dalen
0 / 0
0 comments
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Catégories:
Mathematics
Mathematics - Logic
Volume:
2
Année:
1988
Edition:
1
Editeur::
Elsevier Science
Langue:
english
Pages:
606
ISBN 10:
0444703586
ISBN 13:
9780444703583
Collection:
Studies in Logic and the Foundations of Mathematics 123
Fichier:
PDF, 6.83 MB
IPFS:
CID , CID Blake2b
english, 1988
Lire en ligne
  • pdf 6.83 MB Current page
  • Checking other formats...
  • Le fichier converti peut différer de la version originale. Vous feriez mieux de télécharger le fichier au format original
La conversion en est effectuée
La conversion en a échoué

Mots Clefs

 
metric
spaces
topology
continuous
ctb
theorem
sets
apartness
bounded
compact
proposition
totally
csm
subset
defined
finite
mathematics
locally
topological
notation
sect
metrically
separable
proor
troelstra
classical
prove
standard
uniformly
function
groups
mapping
antisubgroup
consider
intuitionistic
assume
subgroup
exercises
strongly
constructive
define
cauchy
choice
inhabited
axioms
corollary
closure
continuity
covering
crm
extensional
satisfies
bcm
canonical
complement
context
covers
equality
partial
sequences