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.
Fourier Analysis
Fourier AnalysisT.W. KörnerI. Fourier Series
II. Some Differential Equations
III. Orthogonal Series
IV. Fourier Transforms
V. Further Developments
VI. Other Directions
€7,00
Lagere Algebra II
Lagere Algebra IIP. Wijdenesmet antwoordenboekje
Leerboek voor de akte Wiskunde L.O.
Deel II: Vergelijkingen, functies, grafieken en reeksen
Lineaire vergelijkingen
Lineaire functies
Vierkantsvergelijkingen
Kwadratische functies
Gehele rationale vergelijkingen
Andere vergelijkingen en functies
Onbepaalde vergelijkingen van de eerste graad
Ingeklede vergelijkingen
Reeksen
€7,00
Analytische Meetkunde
Analytische MeetkundeJ.M. KeizerI. Punten en rechte lijnen
II. De cirkel
III. De kegelsneden
Opgaven van het Eindexamen Gymnasium
€2,00
Inleiding tot de Studie der Meetkunde van het Aantal
Inleiding tot de Studie der Meetkunde van het AantalDr. Hk. de VriesI. De Incidentieformules
II. De Coïncidentieformules
III. Meervoudige coïncidenties en de theorie van het n-de graadsoppervlak
IV. Over het bepalen van aantallen door middel van ontaardingen
V. De stralencomplex van den n-den graad
VI. Het karakteristiekenprobleem
€2,00