The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled ...
Read More
The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good+; Hardcover; Withdrawn library copy with the standard library markings; Light wear to the covers; Library stamps to the endpapers; Text pages are clean & unmarked; Binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5"-9.75" tall); Yellow cloth covers with title in gold lettering along spine; 1974, Elsevier Science Publishing; 351 pages; "Provability, Computability and Reflection, Volume 76 (Studies in Logic and the Foundations of Mathematics), " by Lev D. Beklemishev.