ID: 3203
Open
Artikel ID: #3203 is op jouw verlanglijst gezet.
Beschrijving
Mathematical Bafflers
Angela Fox Dunn (Ed.)
1. Say it with letters
2. Axioms, angles, and arcs
3. Solving in integers
4. The data seekers
5. Minding your P's and Q's
6. Now you see it
7. Permutations, partitions, and primes
Angela Fox Dunn (Ed.)
1. Say it with letters
2. Axioms, angles, and arcs
3. Solving in integers
4. The data seekers
5. Minding your P's and Q's
6. Now you see it
7. Permutations, partitions, and primes
Specificaties
- Auteur
- Angela Fox Dunn (Ed.)
- Uitgever
- Dover
- Jaar
- 1980 (orig. 1964)
- Druk
- -
- Aantal pagina's
- 217
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Mathematische Formelsammlung
Mathematische FormelsammlungO. Th. BürklenPocketboek: Sammlung Göschen
€5,00
Algebraïsche hoofdstukken
Algebraïsche hoofdstukkenDr. A. van Thijn mmv M.L. KobusI. Reeksen
II. De exponentiëele functie - Oneigenlijke machten
III. Logarithmen
IV. Samengestelde interestrekening
V. De grafiek van de vergelijking van den eersten graad met 2 onbekenden
VI. Algemeene beschouwingen omtrent functies
VII. De functie van den tweeden graad met één veranderlijke
VIII. Vierkantsvergelijkingen
IX. De gebroken functie
X. De rest-stelling - hoogere-machtsvergelijkingen
€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
More Mathematical Puzzeles and Diversions
More Mathematical Puzzeles and DiversionsMartin GardnerPocketboek
€3,00