ID: 4239
Open
Artikel ID: #4239 is op jouw verlanglijst gezet.
Beschrijving
oor het hoger onderwijsAsselt van R.
Specificaties
- Auteur
- Asselt van; R.
- Uitgever
- Educatieve Partners Nederland
- Jaar
- 1998
- Druk
- -
- Aantal pagina's
- 399
- Taal
- Nederlands
- Doos
- B33
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Logarithmisch-Trigonometrisches Hanbuch
Neues logarithmisch-trigonometrisches Handbuch auf sieben Decimalen
€4,00
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
The Great International Math on Keys Book
International Math on Keys BookOliva Ralph A. Beasley Barbara LaMont M. Dean Fowler Linda R.
€4,00