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.
Calculus: Early Transcendentals
Calculus: Early TranscendentalsStewart, JamesEarly TranscendentalsStewart, James
€4,00
Beknopte stereometrie
Beknopte stereometrieP. WijdenesRechte en vlak
Projecties; hoek van rechte en vlak
Rechte evenwijdig met een vlak
Evenwijdige vlakken
Tweevlakshoeken
Veelvlakshoek. Drievlakshoek
Veelvlakken
Inhouden
Gebogen oppervlakken
De bol
Algemeene herhaling
€2,00
Nieuw algebraboek IV A
Nieuw algebraboek IV AM.G.H. Birkenhäger, H.J.D. MachielsenVierkantswortels met hun eigenschappen
Worteltrekking
Optelling en aftrekking
Het rationaal- of wortelvrijmaken van de noemer van een breuk
Andere wortels
Vermenigvuldiging en deling van ongelijknamige wortels
Letterexponenten met opgaven
Herhaling ontbinding in factoren met opgaven
Invoeren van nieuwe onbekenden
Herhaling vierkantsvergelijking
€2,00