Suchergebnisse - Bimbó, Katalin 1963-

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Proof theory: sequent calculi and related formalisms
    von Bimbó, Katalin 1963-

    Veröffentlicht 2015
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Combinatory logic: pure, applied and typed
    von Bimbó, Katalin 1963-

    Veröffentlicht 2012
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Generalized Galois logics: relational semantics of nonclassical logical calculi
    von Bimbó, Katalin 1963-, Dunn, J. Michael 1941-2021

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Proof theory: sequent calculi and related formalisms
    von Bimbó, Katalin 1963-

    Veröffentlicht 2015
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    J. Michael Dunn on information based logics

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Bimbó, Katalin 1963- …”
    Buch


    Gespeichert in:

Suchwerkzeuge: