ID: 2694
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 45: Inversie, spiegelen in lijn en in cirkel
Zebra 45: Inversie, spiegelen in lijn en in cirkelJacques JansenDe 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
0 biedingen
Geschiedenis van de wiskunde
Geschiedenis van de wiskundeProf. Dr. D. J. StruikPocketboek
€3,00
0 biedingen
Elementaire statistiek
Elementaire statistiekDr. L.A. van WijkI. Historische grafieken
II. Frequentiediagrammen
III. Middelwaarden
IV. Spreiding
V. Kansrekening
VI. De binomiale en de normale verdeling
VII. Steekproeven
VIII. Correlatierekening
€2,00
0 biedingen
Aufgabensammlung zur Analytischen Geometrie der Ebene
Aufgabensammlung zur Analytischen Geometrie der EbeneProf. O. Th. BürklenPocketboek: Sammlung Göschen
€5,00
0 biedingen