Téléchargez le livre : Provability, Computability and Reflection

Provability, Computability and Reflection



de

Éditeur :

Elsevier Science


Paru le : 2000-04-01



eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
226,82 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
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".
Pages
133 pages
Collection
n.c
Parution
2000-04-01
Marque
Elsevier Science
EAN papier
9780444533999
EAN PDF SANS DRM
9780080957548
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
226,82 €

Suggestions personnalisées