Beschrijving
Understanding Mathematics (Bk. 5)
Cox, C.J., Bell, D.
ing Mathematics (Bk. 5)Cox, C.J., Bell, D.
Cox, C.J., Bell, D.
ing Mathematics (Bk. 5)Cox, C.J., Bell, D.
Specificaties
- Auteur
- Cox, C.J., Bell, D.
- Uitgever
- John Murray
- Jaar
- 1994
- Druk
- -
- Aantal pagina's
- 328
- Taal
- Engels
- Doos
- B69
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
Pythagoras - Jaargang 42
Pythagoras - Jaargang 42Wiskundetijdschrift voor jongeren
De volledige jaargang 42, 2002-2003
€1,00
Maple V - Learning Guide
Maple V - Learning GuideK.M. Heal, M.L. Hansen, K.M. Rickard1. Interactive Use of Maple
2. Mathematics with Maple: the Basics
3. Finding Solutions
4. Graphics
5. Evaluation and Simplification
6. Examples from Calculus
7. Input and Output
€2,00
Algebra: van vectoren tot variabelen: het ABC van X plus Z
Algebra: van vectoren tot variabelen: het ABC van X plus ZWillers, Michael, Nieberg, Debby
€4,00