Treffer 1 - 9 von 9 für Suche 'Indrzejczak, Andrzej', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
    von Indrzejczak, Andrzej
    Veröffentlicht 2021
    zbMATH
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Natural deduction, hybrid systems and modal logics
    von Indrzejczak, Andrzej
    Veröffentlicht 2010
    Full Text
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Natural Deduction, Hybrid Systems and Modal Logics
    von Indrzejczak, Andrzej
    Veröffentlicht 2010
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Leśniewski’s Ontology - Proof-Theoretic Characterization
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Metody logiki : dedukcja
    von Indrzejczak, Andrzej
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Literaturverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Tableaux for Free Logics with Descriptions
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: