ID: 3239
Open
Artikel ID: #3213 is op jouw verlanglijst gezet.
Beschrijving
Wahrscheinlichkeits-rechnung
Prof. Dr. Otto Knopf
Pocketboek: Sammlung Göschen
Prof. Dr. Otto Knopf
Pocketboek: Sammlung Göschen
Specificaties
- Auteur
- Prof. Dr. Otto Knopf
- Uitgever
- Walter de Gruyter
- Jaar
- 1923
- Druk
- 1
- Aantal pagina's
- 112
- Taal
- Duits
- Doos
- B77
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
Basis voor de analytische meetkunde
Basis voor de analytische meetkundeDr. J. Bijl, Dr. D. Kijne, Drs. W.J.H. Saletnieuw leerboek voor v.h.m.o.
I. Vectorvoorstelling van een rechte lijn
II. Vergelijking van een rechte lijn
III. Het meten van lijnstukken en hoeken
IV. Puntenverzamelingen
V. De cirkel
VI. De parabool
VII. De ellips
VIII. De hyperbool
€2,00
De Nederlandse Wiskunde Olympiade
De Nederlandse Wiskunde OlympiadeFred Bosman e.a.ndse Wiskunde OlympiadeFred Bosman e.a.
€3,00
Voortgezette wiskunde 2 - Differentiaalvergelijkingen en de Laplace-transformatie
Voortgezette wiskunde 2 - Differentiaalvergelijkingen en de Laplace-transformatieDrs. A. Kaldewaij, Dr. J. van Tiel1. Differentiaalvergelijkingen
2. De Laplace-transformatie
€8,00