Beschrijving
Pocketboek
Specificaties
- Auteur
- D.J. Bartholome; E.E. Bassett
- Uitgever
- Aula
- Jaar
- 1973
- Druk
- 1
- Aantal pagina's
- 363
- Taal
- Nederlands
- Doos
- B07
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
Nieuwe Wiskunde II Structuren
5. Getalverzamelingen N Z Q en R6. Groepen ringen en lichamen7. Transformaties
€2,00