ID: 2217
Open
Artikel ID: #2217 is op jouw verlanglijst gezet.
Beschrijving
Normalization, Cut-Elimination and the Theory of Proofs
A.M. Ungar
Introduction
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
A.M. Ungar
Introduction
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
Specificaties
- Auteur
- A.M. Ungar
- Uitgever
- CSLI
- Jaar
- 1992
- Druk
- -
- Aantal pagina's
- 236
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Wiskunde voor het hoger onderwijs door middel van Derive - 1
Wiskunde voor het hoger onderwijs door middel van Derive - 1Peter van der Velden e.a.1. Introductie DERIVE
2. Rationale functies
3. Machtsfuncties, exponentiële en logaritmische functies
4. Goniometrische functies
5. Differentiëren
6. Integreren
7. Numerieke integratie
8. Introductie matrices en vectoren
9. Introductie differentiaalvergelijkingen
10. Complexe getallen
11. Benaderingen van functies
€2,00
Differential and Integral Calculus volume II
Differential and Integral Calculus volume IIR. CourantTranslated from the German by E.J. McShane
I. Preliminary remarks on analytical geometry and vector analysis
II. Functions of several variables and their derivatives
III. Developments and applications of the differential calculus
IV. Multiple integrals
V. Integration over regions in several dimensions
VI. Differential equations
VII. Calculus of variations
VIII. Functions of a complex variable
€2,00
Inleiding tot de leer der verzamelingen
Inleiding tot de leer der verzamelingenB.P. Haalmeijer en J.H. SchogtDeel 1. Algemeene verzamelingsleer
I. Cardinaalgetallen
II. Ordinaalgetallen
III. Ordegetallen
Deel 2. Leer der puntverzamelingen
IV. Algemeene beschouwingen
V. Gesloten en perfecte puntverzamelingen
VI. Inhoud en maat. Inwendige grensverzamelingen
€2,00
Stereometrie voor Gymnasium en H.B.S.
Stereometrie voor Gymnasium en H.B.S.Dr. C.J. Brester, H.J. RobijnsDe band is los
I. Grondeigenschappen
II. Grondeigenschappen (vervolg)
III. Lijn evenwijdig met een vlak. Lijn loodrecht op een vlak
IV. Twee evenwijdige vlakken
V. Afstanden. Projecties
VI. Tweevlakshoek. Drievlakshoek
VII. Meetkundige plaatsen
VIII. De pyramide
IX. Het prisma
X. Congruentie. Gelijkvormigheid
XI. Inhoud van het prisma
XII. Inhoud van de pyramide
XIII. Inhoud van een afgeknot driezijdig prisma. Inhoud van een pri...
€2,00