ID: 2694
Open
Log in om de bevestigingspagina te openen.
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.
Komplex-Symbolik
Komplex-SymbolikRoland WeitzenböckEine Einführung in die analytische Geometrie mehrdimensionaler Räume
I. Die Komplexe im dreidimensionalen Raume
II. Systeme von lineare Komplexen
III. Die quadratischen Komplexe
IV. Die linearen Komplexe im vierdimensionalen Raume
V. Die linearen Komplexe im R5
VI. Der Geradenkomplexe im Rn
VII. Der R5 als Komplexraum
VIII. Die analytische Geometrie
€2,00
0 biedingen
Wiskunde met verve
Wiskunde met verveProf. Dr. F. van der BlijBron: Schittering
Opdrachten
1. Veelvlakken en verhoudingen
2. Vierkantjes en schaakborden
3. Met de computer
Onderzoek
Presentatie
Aanwijzingen
€2,00
0 biedingen
