Articles liés à Constructivism in Mathematics
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.
The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences.
The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras.
The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurElsevier Science Ltd
- Date d'édition1988
- ISBN 10 0444703586
- ISBN 13 9780444703583
- ReliureRelié
- Nombre de pages140
Acheter neuf
En savoir plus sur cette édition
EUR 61,46
Frais de port :
EUR 11,13
De Italie vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Constructivism in Mathematics, Vol 2 (Volume 123)
Edité par
Elsevier Science
(1988)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 68122c1161627d2be8e1dfe93224c5b5
Acheter neuf
EUR 61,46
Autre devise
Image fournie par le vendeur
Constructivism in Mathematics, Vol 2
Edité par
ELSEVIER SCIENCE & TECHNOLOGY Nov 1988
(1988)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Buch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences. The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras. The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic. 140 pp. Englisch. N° de réf. du vendeur 9780444703583
Acheter neuf
EUR 54,95
Autre devise
Image d'archives
Constructivism in Mathematics, Vol 2: An Introduction: v. 2 (Studies in Logic and the Foundations of Mathematics)
Edité par
Elsevier Science 1988-11-01
(1988)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : New. N° de réf. du vendeur 6666-ELS-9780444703583
Acheter neuf
EUR 61,92
Autre devise
Image d'archives
Constructivism in Mathematics: Vol 002
Edité par
Elsevier Science Ltd
(1989)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Couverture rigide
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : Brand New. 250 pages. 9.25x6.50x1.25 inches. In Stock. N° de réf. du vendeur __0444703586
Acheter neuf
EUR 68,32
Autre devise
Image d'archives
Constructivism in Mathematics, Vol 2: Volume 123
Edité par
Elsevier Science & Technology
(1988)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Couverture rigide
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Hardback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9780444703583
Acheter neuf
EUR 80,16
Autre devise
Image fournie par le vendeur
Constructivism in Mathematics, Vol 2 : Volume 123
Edité par
Elsevier Science
(1988)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Couverture rigide
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences. The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras. The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic. N° de réf. du vendeur 9780444703583
Acheter neuf
EUR 63,96
Autre devise
Image fournie par le vendeur
CONSTRUCTIVISM IN MATHEMATICS
Edité par
Elsevier Science & Technology|Elsevier Science
(1988)
ISBN 10 : 0444703586
ISBN 13 : 9780444703583
Neuf
Couverture rigide
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. . N° de réf. du vendeur 594686969
Acheter neuf
EUR 54,90
Autre devise