Beschrijving
I. Hoeken
II. Evenwijdige rechten. Driehoeken
III. Congruentie van driehoeken
IV. Stellingen over zijden en hoeken van driehoeken
V. Constructies
VI. Meetkundige Plaatsen
VII. Vierhoeken
VIII. N-hoeken
IX. Herhaling
II. Evenwijdige rechten. Driehoeken
III. Congruentie van driehoeken
IV. Stellingen over zijden en hoeken van driehoeken
V. Constructies
VI. Meetkundige Plaatsen
VII. Vierhoeken
VIII. N-hoeken
IX. Herhaling
Specificaties
- Auteur
- A. van Dop; A. van Haselen
- Uitgever
- J.B. Wolters
- Jaar
- 1949
- Druk
- 1
- Aantal pagina's
- 107
- Taal
- Nederlands
- Doos
- H006
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Normalization; Cut-Elimination and the Theory of Proofs
Introduction1 Background2 Comparing NJ with LJ3 Natural Deduction Revisited4 The Problem of Substitution5 A Multiple-Conclusion Calculus6 Reduction Procedures7 Correspondence Results8 Interpretations of DerivationsAppendicesA. A Strong Cut-Elimination Theorem for LJB. A Formulation of the Classical Sequent CalculusC. Proofs and Categories
€2,00
Wiskundige analyse
1. Algemene begrippen2. Limieten3. Fundamentele eigenschappen van continue en differentieerbare functies4. Functies van meer dan een variabele5. Differentiaalvergelijkingen6. Voortzetting der integraalrekening7. Meervoudige integralen8. Numerieke methoden9. Rijen en reeksen10. Theorie der reële getallen
€2,00
Leerboek der algebra I
I. InleidingII. Algebraïsche getallenIII. HoofdbewerkingenIV. VergelijkingenV. Merkwaardige produkten en quotiënten. Ontbinding in factorenVI. BreukenVII. Vergelijkingen (vervolg)
€3,00