Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Constructivism in Mathematics, Vol 2

Name: Constructivism in Mathematics, Vol 2
Brand: Elsevier Science & Technology
SKU: 06296866
Price: 48.59 EUR
Availability: InStock
Author: Lev Beklemishev
ISBN: 9780444703583

Lev Beklemishev

Langue

Anglais

Livre Livre relié

Code Libristo: 06296866

Éditeurs Elsevier Science & Technology

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An I... Description détaillée

Code Libristo: 06296866

119 b

48.59 € TVA incluse

Sur commande auprès de l’éditeur Expédition sous 28-34 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Funko POP: Daredevil Born Again - Daredevil (Unmasked) #1547 Jeu/jouet

Jouet

19.89 €

Il giro di boa Andrea Camilleri

Livre de poche

9.29 €

Jak se do lesa volá Marie Horová

Livre relié

8.39 €

Manual del pensamiento critico Rodolfo Alberto Lopez Diaz

Adobe ePub DRM

8.79 €

Kollaborative Wertschopfung mit strategischen Kunden Bernard Quancard

Adobe ePub DRM

34.29 €

Finns unglaublich spektakulare Weltraumfahrt Diana Cooper

Adobe ePub DRM

13.89 €

The Happytime Murders, 1 DVD Melissa McCarthy

DVD

11.99 €

Subhadra Kalyanam ( Telugu Edition ) Tallapaka Tirumalamma

Livre de poche

6.99 €

ORBIS SENSUALIUM PICTUS IOHANNES AMOS COMENIUS

Livre de poche

18.99 €

Potenciar la Escritura en el Adulto Mayor Letty del Valle Chacin Perez

Livre de poche

38.19 €

Feuerstürme Daniel Thomas Funda

Livre relié

24.80 €

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.