W

Themen-Graph

Verbindungen von Jean-Yves Girard zu 24 verknüpften Artikeln. Klicke auf einen Knoten, um zu navigieren.

Logiker, der auf demGebiet der Beweistheo…emeritusUniversität Aix-Marse…LuminyÉcole normale supérie…starken NormalisierungPrädikatenlogik zweit…System FTakeutis VermutungWilliam W. TaitDag PrawitzGirard-Paradoxonslinearen LogikGeometrie der Interak…der LudicsSilbermedaille des CN…Französischen Akademi…Ernest NagelJames R. NewmanKurt GödelCambridge University …Affine LogikISBNJean-Yves Girard

Tipp: Öffne den Graph aus jedem Artikel über „Themen-Graph anzeigen“.