ID: 3206
Open
Beschrijving
Normalization, Cut-Elimination and the Theory of Proofs
A.M. Ungar
Introduction
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
A.M. Ungar
Introduction
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
Specificaties
- Auteur
- A.M. Ungar
- Uitgever
- CSLI
- Jaar
- 1992
- Druk
- -
- Aantal pagina's
- 236
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Zebra 28: Voorspellen met Modellen
Zebra 28: Voorspellen met ModellenPeter Boswijk, Phillip Hans Franses, Christiaan HeijDe 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
Pythagoras - Jaargang 38
Pythagoras - Jaargang 38Wiskundetijdschrift voor jongeren
De volledige jaargang 38, 1998-1999
€1,00
Repititorium und Aufgabensammlung zur Integralrechnuung
Repititorium und Aufgabensammlung zur IntegralrechnuungProf. Dr. Fr. JunkerPocketboek: Sammlung Göschen
€5,00
Wiskunde voor het hoger onderwijs door middel van Derive - 1
Wiskunde voor het hoger onderwijs door middel van Derive - 1Peter van der Velden e.a.1. Introductie DERIVE
2. Rationale functies
3. Machtsfuncties, exponentiële en logaritmische functies
4. Goniometrische functies
5. Differentiëren
6. Integreren
7. Numerieke integratie
8. Introductie matrices en vectoren
9. Introductie differentiaalvergelijkingen
10. Complexe getallen
11. Benaderingen van functies
€2,00