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.
Algebra: van vectoren tot variabelen: het ABC van X plus Z
Algebra: van vectoren tot variabelen: het ABC van X plus ZWillers, Michael, Nieberg, Debby
€4,00
Ausgleichungsrechnung nach der Methode der kleinsten Quadrate
Ausgleichungsrechnung nach der Methode der kleinsten QuadrateProf. Wilh. WeitbrechtPocketboek: Sammlung Göschen
€5,00
Geometry the Easy Way (Geometry the Easy Way, 2nd Ed)
Geometry the Easy Way (Geometry the Easy Way, 2nd Ed)Leff, Lawrence S.he Easy Way (Geometry the Easy Way, 2nd Ed)Leff, Lawrence S.
€4,00
Leerboek der Theoretische Mechanica I-2
Leerboek der Theoretische Mechanica I-2Dr. F. SchuhEerste deel, 2de stuk
Voortzetting der kinematica van een vlak stelsel
Bijzondere bewegingen in het platte vlak
Kinematica van een vast lichaam in de ruimte
Met 292 figuren en 462 vraagstukken
€5,00