Constructivism in Mathematics, Vol 2
Book Details
Format
Hardback or Cased Book
ISBN-10
0444703586
ISBN-13
9780444703583
Publisher
Elsevier Science & Technology
Imprint
Elsevier Science Ltd
Country of Manufacture
US
Country of Publication
GB
Publication Date
Nov 1st, 1988
Print length
140 Pages
Weight
1,034 grams
Dimensions
23.70 x 16.20 x 3.70 cms
Product Classification:
Mathematical foundations
Ksh 9,800.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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.
Get Constructivism in Mathematics, Vol 2 by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Elsevier Science & Technology and it has pages.