ID: 2916
Open
Artikel ID: #2916 is op jouw verlanglijst gezet.
Beschrijving
Integralrechnung
Prof. Dr. A. Witting
Pocketboek: Sammlung Göschen
Prof. Dr. A. Witting
Pocketboek: Sammlung Göschen
Specificaties
- Auteur
- Prof. Dr. A. Witting
- Uitgever
- Walter de Gruyter
- Jaar
- 1949
- Druk
- 2
- Aantal pagina's
- 175
- Taal
- Duits
- Doos
- B77
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
Basisvaardigheden Toegepast rekenen
Basisvaardigheden Toegepast rekenenG.J.S. Reus e.a.igheden Toegepast rekenenG.J.S. Reus e.a.
€4,00
Zebra 03: Schatten, hoe doe je dat?
Zebra 03: Schatten, hoe doe je dat?Jan Smit, Wim KremersDe zebra-reeks is ontstaan naar het idee van Jan Breeman om VWO-leerlingenin keuze-uren kennis te laten maken met onderwerpen uit de wiskunde die buiten het standaard curriculum vallen
€3,00