ID: 3264
Open
Artikel ID: #3264 is op jouw verlanglijst gezet.
Beschrijving
Pythagoras - Jaargang 31
Wiskundetijdschrift voor jongeren
De volledige jaargang 31, 1991-1992
Wiskundetijdschrift voor jongeren
De volledige jaargang 31, 1991-1992
Specificaties
- Auteur
- -
- Uitgever
- Stichting IVIO
- Jaar
- 1992
- Druk
- -
- Aantal pagina's
- -
- Taal
- Nederlands
- Doos
- P
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Tense Logic
Tense LogicRobert P. McArthur1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
€2,00
Algebraische Kurven, Neue Bearbeitung
Algebraische Kurven, Neue BearbeitungProf. Dr. H. WieleitnerPocketboek: Sammlung Göschen
€5,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
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