ID: 1849
Gesloten
Artikel ID: #1849 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
- B40
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Komplex-Symbolik
Komplex-SymbolikRoland WeitzenböckEine Einführung in die analytische Geometrie mehrdimensionaler Räume
I. Die Komplexe im dreidimensionalen Raume
II. Systeme von lineare Komplexen
III. Die quadratischen Komplexe
IV. Die linearen Komplexe im vierdimensionalen Raume
V. Die linearen Komplexe im R5
VI. Der Geradenkomplexe im Rn
VII. Der R5 als Komplexraum
VIII. Die analytische Geometrie
€2,00
Meetkunde I en II
Meetkunde I en IIG.N. Meurs, S. de VriesWerkboekjes voor U.L.N.O., V.M.T.O., Mach.Opl. enz.
Deel 1: 33 paragrafen, eindigend met Toelatingsexamens M.T.S. 1936-1942
Deel 2: 19 paragrafen, eindigend met PBNA-examens en Examens N.O.-akten
€2,00
Inleiding in de analytische meetkunde en de lineaire algebra 1
Inleiding in de analytische meetkunde en de lineaire algebra 1Dr. A. van Heemert, Dr. L.R.J WestermannI Translaties, plaatsvecoren en parametervoorstellingen
II Meetkundige interpretatie van lineaire vergelijkingen; afstanden; oppervlakten en inhouden
III Cirkel en bol
IV Afbeeldingen
V Meetkundige plaatsen
€2,00
Giuseppe Peano
Giuseppe PeanoHubert C. KennedyEinleitung
Kindheit
Studentenjahre (1876-1880)
Assistentenzeit (1880-1890)
Ausserordentlicher Professor (1891-1895)
Der erste internationale Mathematikerkongress
Paris 1900
Latino sine flexione
Academia pro interlingua
Kriegsjahre und Nachkriegszeit
Schlussbetrachtungen
Brief Peanos an Bertrand Russell
€2,00