Provability, Computability and Reflection (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 322.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Provability, Computability and Reflection (PDF)“
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".
Bibliographische Angaben
- Autor: Lev D. Beklemishev
- 2000, 133 Seiten, Englisch
- Verlag: Elsevier Science & Techn.
- ISBN-10: 0080957544
- ISBN-13: 9780080957548
- Erscheinungsdatum: 01.04.2000
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 5.90 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Provability, Computability and Reflection"
0 Gebrauchte Artikel zu „Provability, Computability and Reflection“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Provability, Computability and Reflection".
Kommentar verfassen