• Start
  • Kopen
Veiling Wereldwiskunde Fonds
Welkom, Gast
Mijn account

Aanmelden

Gebruikersnaam vergeten of wachtwoord vergeten?
Geen account? Maar er een.
0
Jouw winkelwagen is leeg.
  • Start
  • 100-plussers (68)
  • Algemeen (2)
  • Biografie (5)
  • Computer (5)
  • Didactiek - onderwijs (15)
  • Filosofie (8)
  • Geschiedenis (3)
  • Informatica (5)
  • Recreatie (44)
  • Schoolboeken (75)
  • Studieboeken (212)
  • Telecommunicatie (7)
  • Tijdschriften (25)
  • Wetenschap (3)
Veiling Wereldwiskunde Fonds
0
Jouw winkelwagen is leeg.
  • Welkom, Gast
  • Start
  • Kopen
  • Verlanglijst
  • Inschrijven / Aanmelden
  1. Start
  2. Filosofie
ID: 3206 Open
Normalization, Cut-Elimination and the Theory of Proofs

Normalization, Cut-Elimination and the Theory of Proofs

€2,00

Aantal
1
€2,00
56 kijkend 129 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.
Zebra 28: Voorspellen met Modellen
Zebra 28: Voorspellen met Modellen
Zebra 28: Voorspellen met ModellenPeter Boswijk, Phillip Hans Franses, Christiaan HeijDe zebra-reeks is ontstaan naar het idee van Jan Breeman om VWO-leerlingenin keuze-uren kennis te laten maken met onderwerpen uit de wiskunde die buiten het standaard curriculum vallen
€3,00
Voeg aan winkelwagen toe
Pythagoras - Jaargang 38
Pythagoras - Jaargang 38
Pythagoras - Jaargang 38Wiskundetijdschrift voor jongeren De volledige jaargang 38, 1998-1999
€1,00
Voeg aan winkelwagen toe
Repititorium und Aufgabensammlung zur Integralrechnuung
Repititorium und Aufgabensammlung zur Integralrechnuung
Repititorium und Aufgabensammlung zur IntegralrechnuungProf. Dr. Fr. JunkerPocketboek: Sammlung Göschen
€5,00
Voeg aan winkelwagen toe
Wiskunde voor het hoger onderwijs door middel van Derive - 1
Wiskunde voor het hoger onderwijs door middel van Derive - 1
Wiskunde voor het hoger onderwijs door middel van Derive - 1Peter van der Velden e.a.1. Introductie DERIVE 2. Rationale functies 3. Machtsfuncties, exponentiële en logaritmische functies 4. Goniometrische functies 5. Differentiëren 6. Integreren 7. Numerieke integratie 8. Introductie matrices en vectoren 9. Introductie differentiaalvergelijkingen 10. Complexe getallen 11. Benaderingen van functies
€2,00
Voeg aan winkelwagen toe
Toon alle

Uitleg

  • Uitleg
  • Betalingen

Wereldwiskunde Fonds

  • Over ons
  • Boeken gevraagd

NVvW

  • Wereldwiskunde Fonds
  • NVvW
Veiling Wereldwiskunde Fonds

Voorwaarden en privacy

  • Voorwaarden
  • Privacyverklaring
  • Contact
Powered by PHP Pro Bid. ©2025 Online Ventures Software

De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.