ID: 3206
Open
Artikel ID: #3206 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.
Nieuw algebraboek III
Nieuw algebraboek IIIM.G.H. Birkenhäger, H.J.D. MachielsenVierkantswortels
Worteltrekking
Wortelvormen
Optelling en aftrekking
Vermenigvuldiging van ongelijknamige wortels
Deeling van ongelijknamige wortels
√(a + b + 2√(ab))
Vierkantsvergelijkingen
Ingekleede vierkantsvergelijkingen
Eigenschappen van de wortels van vierkantsvergelijkingen
Ontbinding van ax^2+bx+c
€2,00
Nieuwe wiskundeopgaven voor l.o., v.h.m.o. en v.w.o.
Nieuwe wiskundeopgaven voor l.o., v.h.m.o. en v.w.o.Dr. W.A.M. Burgers, Drs. B.J. WesterhofExamenprogramma Wiskunde l.o. (1970-1971)
Examenprogramma Wiskunde l.o. (1971- )
Tussenprogramma voor de experimenterende athenea en gymnasia (1971, 1972 en 1973)
Examenprogramma Wiskunde v.w.o. (1974- )
1. Analyse en algebra
2. Analytische meetkunde
3. Stereometrie
4. Planimetrie
5. Vectormeetkunde
6. Experimentexamens
7. Examenopgaven l.o. 1969
8. Aanhangsel permutaties en determinanten
€4,00
Nieuw beknopt leerboek der planimetrie
Nieuw beknopt leerboek der planimetrieDerksen en De LaiveMet de beginselen der gonio- en trigonometrie
Herzien door Ir. H. van den Heuvel Rijnders
Lichamen, vlakken, lijnen, punten
Hoeken
Evenwijdige lijnen
Driehoeken
Congruentie van driehoeken
Toepassing. Meetkundige plaatsen
Eigenschappen van de cirkel. Constructies
Het construeren van driehoeken
Construeren met behulp van meetkundige plaatsen
Vierhoeken
Veelhoeken
Congruentie van veelhoeken
Verhoudingen en evenredigheid van lijnen
Vermenigvu...
€2,00