ID: 3206 Open

Normalization, Cut-Elimination and the Theory of Proofs

€2,00

Aantal: 1

57 kijkend 130 weergaven

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

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.

Ordinary Differential Equations

Ordinary Differential EquationsE.L. IncePart I. Differential Equations in the Real Domain I. Introductory II. Elementary methods of integration III. The existence and nature of solutions of ordinary differential equations IV. Continuous transformation-groups V. The general theory of linear differential equations VI. Linear equations with constant coefficients VII. The solution of linear differential equations in an infinite form VIII. The solution of linear differential equations by definite int...

€7,00