ID: 3877
Gesloten
Beschrijving
Introduction
The Beginnings
The Ancient Orient
Greece
The Orient after the Decline of Greek Society
The Beginnings in Western Europe
The Seventeenth Century
The Eightteenth Century
The Nineteenth Century
The First Half of the Twentieth Century
The Beginnings
The Ancient Orient
Greece
The Orient after the Decline of Greek Society
The Beginnings in Western Europe
The Seventeenth Century
The Eightteenth Century
The Nineteenth Century
The First Half of the Twentieth Century
Specificaties
- Auteur
- D. J. Struik
- Uitgever
- Dover
- Jaar
- 1987 (orig. 1967)
- Druk
- 4
- Aantal pagina's
- 228
- Taal
- Engels
- Doos
- H001
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Goniometrie voor M.O. en V.H.O.
I. De goniometrische functies van scherpe hoekenII. De scheefhoekige driehoekIII. Algemene definities van de goniometrische functiesIV. De formules voor cos(a +- b) en sin(a +- b)V. De formules voor sin(p) +- sin(q) en cos(p) +- cos(q)VI. Goniometrische vergelijkingenVII. OngelijkhedenVIII. LimietenIX. GrafiekenX. Aanvullingen: Cyclometrische functies Probleem van Snellius
€2,00
Konstruktionen in begrenzter Ebene
band is beschadigdI. Unzugängliche Schnittpunkte von zwei und mehr GeradenII. Halbierung eines Winkels mit unzugänglichen ScheitelIII. Konstruktionen an Dreiecken und Vielecken mit unzugänglichen EckpunktenIV. Aufgaben aus der KreislehreV. Einiges über die Fachliteratur
€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