Treffer 1 – 5 von 5 für Suche 'Indrzejczak, Andrzej', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Sequents and Trees An Introduction to the Theory and Applications of Propositional Sequent Calculi

    Sequents and Trees An Introduction to the Theory and Applications of Propositional Sequent Calculi von Indrzejczak, Andrzej

    Veröffentlicht 2021

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Natural Deduction, Hybrid Systems and Modal Logics

    Natural Deduction, Hybrid Systems and Modal Logics von Indrzejczak, Andrzej

    Veröffentlicht 2010
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Metody logiki dedukcja

    Metody logiki dedukcja von Indrzejczak, Andrzej, Nowak, Marek 1957-

    Veröffentlicht 2016
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Natural deduction, hybrid systems and modal logics

    Natural deduction, hybrid systems and modal logics von Indrzejczak, Andrzej

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Hybrydowe systemy dedukcyjne w logikach modalnych

    Hybrydowe systemy dedukcyjne w logikach modalnych von Indrzejczak, Andrzej

    Veröffentlicht 2006
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: