Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Set theory. --- Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics
Choose an application
Set theory --- 510.22 --- #KVIV:BB --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers
Choose an application
This is an extended treatment of the set-theoretic techniques which have transformed the study of abelian group and module theory over the last 15 years. Part of the book is new work which does not appear elsewhere in any form. In addition, a large body of material which has appeared previously (in scattered and sometimes inaccessible journal articles) has been extensively reworked and in many cases given new and improved proofs. The set theory required is carefully developed with algebraists in mind, and the independence results are derived from explicitly stated axioms. The book contains exe
Abelian groups --- Modules (Algebra) --- Set theory --- #KVIV:BB --- 512.66 --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Finite number systems --- Modular systems (Algebra) --- Algebra --- Finite groups --- Rings (Algebra) --- Commutative groups --- Group theory --- 512.66 Homological algebra --- Homological algebra --- Abelian groups. --- Modules (Algebra). --- Set theory. --- Physical Sciences & Mathematics
Choose an application
512 --- Set theory --- Computer programming --- 681.3*F3 --- 681.3*F41 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Algebra --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 512 Algebra --- Type Theory --- Parameterized --- Abstract data types (Computer science)
Listing 1 - 4 of 4 |
Sort by
|