ID: 2694
Open
Artikel ID: #2694 is op jouw verlanglijst gezet.
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 46: Knopen in de wiskunde
Zebra 46: Knopen in de wiskundeMeike Akveld, Ab van der RoestDe 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
1 bod
Wiskundige analyse
Wiskundige analyseB. van Rootselaar1. Algemene begrippen
2. Limieten
3. Fundamentele eigenschappen van continue en differentieerbare functies
4. Functies van meer dan een variabele
5. Differentiaalvergelijkingen
6. Voortzetting der integraalrekening
7. Meervoudige integralen
8. Numerieke methoden
9. Rijen en reeksen
10. Theorie der reële getallen
€2,00
0 biedingen
Ausgleichungsrechnung nach der Methode der kleinsten Quadrate II
Ausgleichungsrechnung nach der Methode der kleinsten Quadrate IIProf. Wilh. WeitbrechtPocketboek: Sammlung Göschen
€5,00
0 biedingen
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
0 biedingen