• 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 (69)
  • Algemeen (3)
  • Biografie (5)
  • Computer (5)
  • Didactiek - onderwijs (16)
  • Filosofie (8)
  • Geschiedenis (3)
  • Informatica (5)
  • Recreatie (50)
  • Schoolboeken (86)
  • Studieboeken (225)
  • Telecommunicatie (9)
  • Tijdschriften (25)
  • Wetenschap (4)
Veiling Wereldwiskunde Fonds
0
Jouw winkelwagen is leeg.
  • Welkom, Gast
  • Start
  • Kopen
  • Verlanglijst
  • Inschrijven / Aanmelden
  1. Start
  2. Filosofie
ID: 3206 Open
Artikel ID: #3206 is op jouw verlanglijst gezet.
Normalization, Cut-Elimination and the Theory of Proofs

Normalization, Cut-Elimination and the Theory of Proofs

€2,00

Aantal
1
€2,00
4 kijkend 7 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.
Analyse 2
Analyse 2
Analyse 2Drs. N.P. Zwikker en J.B. HamWiskunde voor alle stdie-rchtingen van de HTS
€7,00
Voeg aan winkelwagen toe
Nieuw algebraboek III
Nieuw algebraboek III
Nieuw algebraboek IIIM.G.H. Birkenhäger, H.J.D. MachielsenVierkantswortels Worteltrekking Wortelvormen Optelling en aftrekking Vermenigvuldiging van ongelijknamige wortels Deeling van ongelijknamige wortels √(a + b + 2√(ab)) Vierkantsvergelijkingen Ingekleede vierkantsvergelijkingen Eigenschappen van de wortels van vierkantsvergelijkingen Ontbinding van ax^2+bx+c
€2,00
Voeg aan winkelwagen toe
Nieuwe wiskundeopgaven voor l.o., v.h.m.o. en v.w.o.
Nieuwe wiskundeopgaven voor l.o., v.h.m.o. en v.w.o.
Nieuwe wiskundeopgaven voor l.o., v.h.m.o. en v.w.o.Dr. W.A.M. Burgers, Drs. B.J. WesterhofExamenprogramma Wiskunde l.o. (1970-1971) Examenprogramma Wiskunde l.o. (1971- ) Tussenprogramma voor de experimenterende athenea en gymnasia (1971, 1972 en 1973) Examenprogramma Wiskunde v.w.o. (1974- ) 1. Analyse en algebra 2. Analytische meetkunde 3. Stereometrie 4. Planimetrie 5. Vectormeetkunde 6. Experimentexamens 7. Examenopgaven l.o. 1969 8. Aanhangsel permutaties en determinanten
€4,00
Voeg aan winkelwagen toe
Nieuw beknopt leerboek der planimetrie
Nieuw beknopt leerboek der planimetrie
Nieuw beknopt leerboek der planimetrieDerksen en De LaiveMet de beginselen der gonio- en trigonometrie Herzien door Ir. H. van den Heuvel Rijnders Lichamen, vlakken, lijnen, punten Hoeken Evenwijdige lijnen Driehoeken Congruentie van driehoeken Toepassing. Meetkundige plaatsen Eigenschappen van de cirkel. Constructies Het construeren van driehoeken Construeren met behulp van meetkundige plaatsen Vierhoeken Veelhoeken Congruentie van veelhoeken Verhoudingen en evenredigheid van lijnen Vermenigvu...
€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.