ID: 2513
Open
Beschrijving
Berry: Mathematical Modelling Methodology Models & Micros V 1
Berry, John
Berry, John
Specificaties
- Auteur
- Berry, John
- Uitgever
- Wiley
- Jaar
- 1986
- Druk
- -
- Aantal pagina's
- -
- Taal
- Engels
- Doos
- B24
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Makers of Mathematics
Makers of MathematicsAlfred HooperI. The Birth of Numbers
II. The Birth of Geometry and the Golden Age of Greek Mathematics
III. The Invention of Algebra
IV. The Development of Trigonometry
V. The Invention of Logarithms
VI. Preparing the Ground for Newton and Leibniz
VII. Newton
VIII. Leibniz, Gauss and Others
€2,00
0 biedingen
Pythagoras - Jaargang 29
Pythagoras - Jaargang 29Wiskundetijdschrift voor jongeren
De volledige jaargang 29, 1989-1990
€1,00
0 biedingen
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
0 biedingen
De Nederlandse Wiskunde Olympiade
De Nederlandse Wiskunde OlympiadeFred Bosman e.a.
€3,00
0 biedingen