ID: 2574
Open
Log in om de bevestigingspagina te openen.
Beschrijving
Isaac Newton
Ivo Schneider
I. Der Werdegang von Isaac Newton
II. Der Apfel reift - Vorarbeiten zu den "Principia"
III. Warum der Apfel fällt - Aufbau und Inhalt der "Principia"
IV. Die Farben des Sonnenlichts - Hypothesenbegriff und Arbeiten zur Optik
V. Der letzte der grossen Magier - die Geheimnisse von Newtons Chronologie und Alchemie
VI. Die Schöpfung einer neuen Sprache - die Mathematik Newtons
VII. Der Aufbau eines naturwissenschaftlichen Imperiums - die Entstehung des Newtonianismus
Ivo Schneider
I. Der Werdegang von Isaac Newton
II. Der Apfel reift - Vorarbeiten zu den "Principia"
III. Warum der Apfel fällt - Aufbau und Inhalt der "Principia"
IV. Die Farben des Sonnenlichts - Hypothesenbegriff und Arbeiten zur Optik
V. Der letzte der grossen Magier - die Geheimnisse von Newtons Chronologie und Alchemie
VI. Die Schöpfung einer neuen Sprache - die Mathematik Newtons
VII. Der Aufbau eines naturwissenschaftlichen Imperiums - die Entstehung des Newtonianismus
Specificaties
- Auteur
- Ivo Schneider
- Uitgever
- Verlag C.H. Beck
- Jaar
- 1988
- Druk
- -
- Aantal pagina's
- 194
- Taal
- Duits
- Doos
- B26
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
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
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
0 biedingen