Foundations of Constructive Mathematics: Metamathematical Studies: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, cartea 6
Autor M. J. Beesonen Limba Engleză Paperback – 18 noi 2011
Din seria Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
- 20% Preț: 1002.37 lei
- 20% Preț: 1029.55 lei
- Preț: 367.32 lei
- Preț: 389.31 lei
- 18% Preț: 1413.31 lei
- 15% Preț: 651.34 lei
- 18% Preț: 731.28 lei
- 18% Preț: 783.68 lei
- 24% Preț: 679.42 lei
- 18% Preț: 1228.47 lei
- 18% Preț: 788.90 lei
- 18% Preț: 905.36 lei
- Preț: 388.52 lei
- Preț: 386.99 lei
- 18% Preț: 1121.62 lei
- 18% Preț: 897.95 lei
- Preț: 397.38 lei
- 18% Preț: 911.06 lei
- 15% Preț: 638.57 lei
- 18% Preț: 1234.32 lei
- 18% Preț: 793.76 lei
- Preț: 394.12 lei
- Preț: 491.01 lei
- 18% Preț: 782.87 lei
- Preț: 393.90 lei
- 18% Preț: 1115.77 lei
- 15% Preț: 526.83 lei
- 18% Preț: 945.79 lei
- 18% Preț: 1120.99 lei
- 18% Preț: 1407.64 lei
- 18% Preț: 1243.60 lei
- 18% Preț: 804.54 lei
- 18% Preț: 1115.14 lei
- 15% Preț: 700.29 lei
- 18% Preț: 1116.26 lei
- 15% Preț: 655.78 lei
- 18% Preț: 1118.75 lei
Preț: 790.61 lei
Preț vechi: 964.15 lei
-18% Nou
Puncte Express: 1186
Preț estimativ în valută:
151.30€ • 157.00$ • 126.46£
151.30€ • 157.00$ • 126.46£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642689543
ISBN-10: 364268954X
Pagini: 496
Ilustrații: XXIII, 466 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.69 kg
Ediția:Softcover reprint of the original 1st ed. 1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 364268954X
Pagini: 496
Ilustrații: XXIII, 466 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.69 kg
Ediția:Softcover reprint of the original 1st ed. 1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
One. Practice and Philosophy of Constructive Mathematics.- I. Examples of Constructive Mathematics.- II. Informal Foundations of Constructive Mathematics.- III. Some Different Philosophies of Constructive Mathematics.- IV. Recursive Mathematics: Living with Church’s Thesis.- V. The Role of Formal Systems in Foundational Studies.- Two. Formal Systems of the Seventies.- VI. Theories of Rules.- VII. Readability.- VIII. Constructive Set Theories.- IX. The Existence Property in Constructive Set Theory.- X. Theories of Rules, Sets, and Classes.- XI. Constructive Type Theories.- Three. Metamathematical Studies.- XII. Constructive Models of Set Theory.- XIII. Proof-Theoretic Strength.- XIV. Some Formalized Metamathematics and Church’s Rule.- XV. Forcing.- XVI. Continuity.- Four. Metaphilosophical Studies.- XVII. Theories of Rules and Proofs.- Historical Appendix.- 1. From Gauss to Zermelo: The Origins of Non-Constructive Mathematics.- 2. From Kant to Hilbert: Logic and Philosophy.- 3. Brouwer and the Dutch Intuitionists.- 4. Early Formal Systems for Intuitionism.- 5. Kleene: The Marriage of Recursion Theory and Intuitionism.- 6. The Russian Constructivists and Recursive Analysis.- 7. Model Theory of Intuitionistic Systems.- 8. Logical Studies of Intuitionistic Systems.- 9. Bishop and his Followers.- 10. The Latest Decade.- References.- Index of Axioms, Abbreviations, and Theories.- Index of Names.- Index of Symbols.