• 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. Tijdschriften
ID: 3264 Open
Artikel ID: #3264 is op jouw verlanglijst gezet.
Pythagoras - Jaargang 31

Pythagoras - Jaargang 31

€1,00

Aantal
1
€1,00
5 kijkend 10 weergaven
Beschrijving
Pythagoras - Jaargang 31


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 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
Voeg aan winkelwagen toe
Algebraische Kurven, Neue Bearbeitung
Algebraische Kurven, Neue Bearbeitung
Algebraische Kurven, Neue BearbeitungProf. Dr. H. WieleitnerPocketboek: Sammlung Göschen
€5,00
Voeg aan winkelwagen toe
Beknopte stereometrie
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
Voeg aan winkelwagen toe
Normalization, Cut-Elimination and the Theory of Proofs
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
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.