Helmut Schwichtenberg

Pays :Allemagne
Langue :allemand
Sexe :masculin
Note :
Ecrit aussi en anglais
Mathématicien. - En poste au Mathematisches Institut, Ludwig-Maximilians-Universität München, Allemagne (en 1993)
ISNI :ISNI 0000 0001 0896 1082

Ses activités

Éditeur scientifique6 documents

Auteur du texte2 documents

  • Basic proof theory

    2nd ed.
    Description matérielle : XII-417 p.
    Description : Note : Bibliogr. p. 379-403. Index
    Édition : Cambridge : Cambridge university press , 2000
    Auteur du texte : Anne Sjerp Troelstra

    disponible en Haut de Jardin

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37734419n]
  • Basic proof theory

    Description matérielle : XI-343 p.
    Description : Note : Bibliogr. p. 309-330. Index
    Édition : Cambridge : Cambridge university press , 1996
    Auteur du texte : Anne Sjerp Troelstra

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb375005833]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Logic and algebra of specification / ed. by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg, 1993
  • LCA (2004-01-21)

Pages équivalentes