ID: 2544
Open
Log in om de bevestigingspagina te openen.
Beschrijving
Hülfstabellen zum Gebrauche harmonischer Funktionen
Specificaties
- Auteur
- -
- Uitgever
- -
- Jaar
- -
- Druk
- 1
- Aantal pagina's
- 20
- Taal
- Duits
- Doos
- B26
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Wiskundige Vraagstukken
Wiskundige VraagstukkenProf. Dr. O. BottemaOntleend aan de propaedeutische examens van de Technische Hogeschool, verzameld en van antwoorden voorzien
€4,00
0 biedingen
Normalization, Cut-Elimination and the Theory of Proofs
Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction
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
€2,00
0 biedingen
