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
Add this copy of Provability, Computability and Reflection, Volume 74 to cart. $12.95, good condition, Sold by ThriftBooks-Reno rated 4.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2000 by Elsevier Science.
Add this copy of Provability, Computability and Reflection (Volume 81) to cart. $325.10, fair condition, Sold by SELL BOOKS LTD rated 5.0 out of 5 stars, ships from London, LONDON, UNITED KINGDOM, published 2000 by Elsevier Science Ltd.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Stains to cover, page edges, and/or pages inside. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be.
Add this copy of Provability, Computability and Reflection, Volume 102 to cart. $94.84, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1980 by Elsevier Science.
Add this copy of Provability, Computability and Reflection, Volume 102 to cart. $136.17, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1980 by Elsevier Science.
Add this copy of Provability, Computability and Reflection, Volume 79 to cart. $105.69, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1974 by Elsevier Science.
Add this copy of Provability, Computability and Reflection, Volume 76 to cart. $281.95, good condition, Sold by Salish Sea Books rated 5.0 out of 5 stars, ships from Bellingham, WA, UNITED STATES, published 1974 by Elsevier Science Publishing.
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.
Add this copy of Provability, Computability and Reflection, Volume 74 to cart. $54.14, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1973 by Elsevier Science.
