Beschrijving
Modern Mathematics for Schools 1
Specificaties
- Auteur
- Scottish Mathematics Group
- Uitgever
- Blackie Chambers
- Jaar
- 1972
- Druk
- 2
- Aantal pagina's
- 266
- Taal
- Engels
- Doos
- B20
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
Meetkunde I en II
Werkboekjes voor U.L.N.O. V.M.T.O. Mach.Opl. enz.Deel 1: 33 paragrafen eindigend met Toelatingsexamens M.T.S. 1936-1942Deel 2: 19 paragrafen eindigend met PBNA-examens en Examens N.O.-akten
€2,00
