ID: 1843
Gesloten
Elements of Intuitionism
€8,50
- Gesloten
| Bieder | Bedrag | Date |
|---|---|---|
| AlfredtenHoeve | €8,50 | 26.10.2024 22:26:00 |
| vsee | €8,00 | 26.10.2024 22:26:00 |
| AlfredtenHoeve | €7,50 | 20.10.2024 20:27:18 |
| william | €7,00 | 20.10.2024 20:27:18 |
| william | €5,50 | 20.10.2024 11:02:07 |
| AlfredtenHoeve | €5,00 | 20.10.2024 11:02:07 |
| AlfredtenHoeve | €2,50 | 14.10.2024 14:33:45 |
| erica | €2,00 | 14.10.2024 12:18:55 |
6 kijkend
99 weergaven
Beschrijving
Elements of Intuitionism
Michael Dummett
1. Preliminaries
2. Elementary Intuitionistic Mathematics
3. Choice Sequences and Spreads
4. The Formalization of Intuitionistic Logic
5. The Semantics of Intuitionistic Logic
6. Some Further Topics
7. Concluding Philosophical Remarks
Michael Dummett
1. Preliminaries
2. Elementary Intuitionistic Mathematics
3. Choice Sequences and Spreads
4. The Formalization of Intuitionistic Logic
5. The Semantics of Intuitionistic Logic
6. Some Further Topics
7. Concluding Philosophical Remarks
Specificaties
- Auteur
- Michael Dummett
- Uitgever
- Clarendon Press - Oxford
- Jaar
- 1978
- Druk
- 1
- Aantal pagina's
- 467
- Taal
- Engels
- Doos
- B40
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Beknopt leerboek der differentiaal- en integraalrekening
Beknopt leerboek der differentiaal- en integraalrekeningDr. N.G. de Bruijnten behoeve van het onderwijs aan hogere technische scholen
I. Het reële getal en het limietbegrip
II. Functies van één veranderlijke
III. Differentiaalquotiënten
IV. Differentiatie van machtsfuncties en van exponentiële en logarithmische functies
V. Bepaalde en onbepaalde integralen
VI. Reeksen
VII. Functies van twee veranderlijken
VIII. Differentiaalvergelijkingen
IX. Complexe getallen
€2,00
Van Negenproef tot Gulden Snede
Van Negenproef tot Gulden SnedeDrs. H.J. StutvoetRekenkundige bewerkingen, wiskundige vondsten en puzzles
I. Proefbewerkingen
A. De Negenproef
B. De Elfproef
II. Vlug Vermenigvuldigen
III. Kenmerken van Deelbaarheid
IV. Perioden van Resten
V. Grote getallen
VI. Pythagoreïsche Getallen en Hoeken
VII. Stellingen over koordenvierhoeken
VIII. De vergelijking x^a + y^a = z^a
IX. Middelevenredigen en de Gulden Verhouding
X. Puzzles en Oplossingen
XI. Waar zit de fout?
€2,00
Normalization, Cut-Elimination and the Theory of Proofs
Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction
1 Background
2 Comparing NJ with LJ
3 Natural Deduction Revisited
4 The Problem of Substitution
5 A Multiple-Conclusion Calculus
6 Reduction Procedures
7 Correspondence Results
8 Interpretations of Derivations
Appendices
A. A Strong Cut-Elimination Theorem for LJ
B. A Formulation of the Classical Sequent Calculus
C. Proofs and Categories
€2,00
Goniometrie
GoniometrieDr. P.G.J. Vredenduin1. Inleiding
2. De goniometrische verhoudingen
3. De goniometrische verhoudingen van -α, 90°, ±α, 180° ± α
4. Goniometrische functies
5. Goniometrische vergelijkingen
6. De goniometrische verhoudingen van α ± β
7. Functies en vergelijkingen
8. Het differentiëren van goniometrische functies
9. Het integreren van goniometirsche functies
Herhaling
€2,00