ID: 2501
Open
Log in om de bevestigingspagina te openen.
Beschrijving
Inleiding tot de Hoogere Wiskunde
H.A. Derksen
HBS wiskunde 1919
H.A. Derksen
HBS wiskunde 1919
Specificaties
- Auteur
- H.A. Derksen
- Uitgever
- Thieme
- Jaar
- 1919
- Druk
- 1
- Aantal pagina's
- 173
- Taal
- Nederlands
- Doos
- B20
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Numerical Methods for Ordinary Differential Systems: The Initial Value Problem
Numerical Methods for Ordinary Differential Systems: The Initial Value ProblemLambert, J.D.
€7,00
0 biedingen
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
0 biedingen
Noordhoff's wiskundige tafels in 5 decimalen
Noordhoff's wiskundige tafels in 5 decimalenP. WijdenesDaftar ilmu pasti dalam 5 desimal
Tables mathématiques à 5 décimales
Mathematical tables to 5 decimal places
Fünfstellige mathematische Tafeln
Tablas matemáticas en 5 decimales
I. Gewone logaritmen
II. Logaritmen van de goniometrische verhoudingen
III. Omzettingen
IV. De goniometrische verhoudingen; hoeken in gr. en min.; ook in radialen
V. Bijtafels
€2,00
0 biedingen