ID: 2570
Open
Artikel ID: #2570 is op jouw verlanglijst gezet.
Beschrijving
Projektive Differentialgeometrie 1. Teil
Gerrit Bol
I. Ebene Kurven
II. Einführung in die räumliche Geometrie
III. Raumkurven
IV. Flächenstreifen
Gerrit Bol
I. Ebene Kurven
II. Einführung in die räumliche Geometrie
III. Raumkurven
IV. Flächenstreifen
Specificaties
- Auteur
- Gerrit Bol
- Uitgever
- Vandenhoeck & Ruprecht
- Jaar
- 1950
- Druk
- -
- Aantal pagina's
- 365
- 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
Wave propagation in elastic solids
Wave propagation in elastic solidsJ.D. AchenbachMathematical analysis of wave propagation phenomena
€5,00
0 biedingen
Zebra 43: De Strepen van de Zebra, de wiskunde achter patroonvorming
Zebra 43: De Strepen van de Zebra, de wiskunde achter patroonvormingGeertje HekDe zebra-reeks is ontstaan naar het idee van Jan Breeman om VWO-leerlingenin keuze-uren kennis te laten maken met onderwerpen uit de wiskunde die buiten het standaard curriculum vallen
€3,00
0 biedingen
50 Maths Ideas You Really Need to Know (50 Ideas You Really Need to Know series)
50 Maths Ideas You Really Need to Know (50 Ideas You Really Need to Know series)Crilly, Tony
€4,00
0 biedingen