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.
Lagere Algebra II
Lagere Algebra IIP. WijdenesLeerboek voor de acte Wiskunde L.O. en voor inrichtingen van onderwijs met uitgebreid wiskunde-programma
Deel II. Vergelijkingen, functies en grafieken
Vergelijkingen
Het begrip: Functie
n vergelijkingen met n onbekenden
Onbepaalde vergelijkingen
Vierkantsvergelijkingen
Drieterm ax^2 + bx + c
Bijzondere vergelijkingen
Algemeene herhaling
€7,00
Darstellende Geometrie II
Darstellende Geometrie IIProf. Dr. Robert HaußnerPocketboek: Sammlung Göschen
€5,00
