Treffer 1 - 2 von 2 für Suche 'Borisavljevi, Mirjana', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    NORMAL DERIVATIONS AND SEQUENT DERIVATIONS

    NORMAL DERIVATIONS AND SEQUENT DERIVATIONS von Borisavljevi, Mirjana

    Veröffentlicht in Journal of philosophical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Two measures for proving Gentzen's Hauptsatz without mix

    Two measures for proving Gentzen's Hauptsatz without mix von Borisavljevic, Mirjana

    Veröffentlicht in Archive for mathematical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: