ID: 3103
Open
Artikel ID: #3103 is op jouw verlanglijst gezet.
Beschrijving
Tabellen
P. Timpenfeld
r/>P. Timpenfeld
P. Timpenfeld
r/>P. Timpenfeld
Specificaties
- Auteur
- P. Timpenfeld
- Uitgever
- Verlag C.L. Krüger, Dortmund
- Jaar
- 1961
- Druk
- 1
- Aantal pagina's
- -
- Taal
- Duits
- Doos
- B26
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Vraagstukken over vectoranalyse en differentiaalmeetkunde
Vraagstukken over vectoranalyse en differentiaalmeetkundeDr. R.J. Wille en Dr. G.W.M. Kallenbergen over vectoranalyse en differentiaalmeetkundeDr. R.J. Wille en Dr. G.W.M. Kallenberg
€4,00
Nieuwe Algebra II
Nieuwe Algebra IIDr. P.G.J. Vredenduin, Dr. A. van Haselen1. Vergelijkingen
2. Ongelijkheden
3. Vergelijkingen met meer dan één onbekende
4. Functies en grafische voorstellingen
5. Reële getallen
6. Worteltrekking
7. Benaderingen
€2,00
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
Differential- und Integralrechnung
Differential- und IntegralrechnungProf. Dr. Martin BarnerPocketboek: Sammlung Göschen
€5,00