Treffer 1 – 5 von 5 für Suche 'Skura, Tomasz 19XX-', Suchdauer: 0,02s 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
    Aspects of refutation procedures in the intuitionistic logic and related modal systems

    Aspects of refutation procedures in the intuitionistic logic and related modal systems von Skura, Tomasz 19XX-

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A Łukasiewicz-style refutation system for the modal logic S4

    A Łukasiewicz-style refutation system for the modal logic S4 von Skura, Tomasz 19XX-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Refutation systems as models for propositional logics

    Refutation systems as models for propositional logics von Skura, Tomasz 19XX-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On decision procedures for sentential logics

    On decision procedures for sentential logics von Skura, Tomasz 19XX-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A pure refutation calculus for the intuitionistic propositional logic

    A pure refutation calculus for the intuitionistic propositional logic von Skura, Tomasz 19XX-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: