ID: 3787
Gesloten
Artikel ID: #3787 is op jouw verlanglijst gezet.
Beschrijving
complete jaargang
Specificaties
- Auteur
- W.J. Reuvekamp Jr.; G.R. Veldkamp (red.)
- Uitgever
- P. Noordhoff
- Jaar
- 1957
- Druk
- -
- Aantal pagina's
- -
- Taal
- Nederlands
- Doos
- NTW
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Normalization; Cut-Elimination and the Theory of Proofs
Introduction1 Background2 Comparing NJ with LJ3 Natural Deduction Revisited4 The Problem of Substitution5 A Multiple-Conclusion Calculus6 Reduction Procedures7 Correspondence Results8 Interpretations of DerivationsAppendicesA. A Strong Cut-Elimination Theorem for LJB. A Formulation of the Classical Sequent CalculusC. Proofs and Categories
€2,00
