Analyse twee - Differentiaal en integraal

€8,00

Aantal: 1

3 kijkend 7 weergaven

Beschrijving

Analyse twee - Differentiaal en integraal
Martin Kindt, Wim Kremers

Nostalgie

Specificaties

Auteur: Martin Kindt, Wim Kremers
Uitgever: Malmberg
Jaar: 1973
Druk: 1
Aantal pagina's: 143
Taal: Nederlands
Doos: B39

Betalingen & retouren

Betaalmethoden: Overboeking

Stuur bericht

Aanmelden om een vraag te stellen aan de verkoper.

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

De vooruitgang - Nieuwe materialen en produkten

De vooruitgang - Nieuwe materialen en produktenKarel KnipVan de dertig menschen, die een tramwagen vullen, weten hoogstens drie iets van den stroomloop dé werking der motoren. Dat de waterleiding geen natuurlijke bron is, maar van een bepaalde plaats uit door menschengeest en menschenhand bediend wordt, is den meeste menschen eerst duidelijk geworden door de werkstakingen in het waterleidingbedrijf. Deze onwetendheid komt niet voort uit gebrek aan belangstelling. integendeel, in alle kringen, v...

€2,00

Mehrdimensionale Intergation

Mehrdimensionale IntergationDr. B. Anger, Dr. H. BauerPocketboek: Sammlung Göschen

€5,00

Boldriehoeksmeting

BoldriehoeksmetingP. Wijdenestiende druk van J. Versluys-Boldriehoeksmeting I. Inleiding; de bol en bolfiguren II. Rechthoekige boldriehoeken III. Scheefhoekige driehoeken IV. De stellingen van Stewart, Menelaos en Ceva. De merkwaardige lijnen V. De oppervlakte van een boldriehoek VI. Om- en ingeschreven cirkels van boldriehoeken VII. Herleiding van formules voor boldriehoeken tot formules voor vlakke driehoeken VIII. Toepassing van de boldriehoeksmeting op de stereometrie IX. Toepassingen van d...

€7,00

Toon alle