Treffer 1 - 5 von 5 für Suche 'Indrzejczak, Andrzej', Suchdauer: 0,22s Treffer weiter einschränken
  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
    Elektronisch E-Book

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Metody logiki dedukcja

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

    Veröffentlicht 2016
    Inhaltsverzeichnis
    Literaturverzeichnis
    Buch

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

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

    Veröffentlicht 2010
    DE-20
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Hybrydowe systemy dedukcyjne w logikach modalnych

    Hybrydowe systemy dedukcyjne w logikach modalnych von Indrzejczak, Andrzej

    Veröffentlicht 2006
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: