Treffer 1 - 4 von 4 für Suche 'Boretti, Bianca', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics

    Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics von Boretti, Bianca, Negri, Sara

    Veröffentlicht in Philosophia scientiae

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus

    Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus von Boretti, Bianca, Negri, Sara


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics

    Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics von Boretti, Bianca, Negri, Sara

    Veröffentlicht in Philosophia scientiae

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Constructivism: Mathematics, Logic, Philosophy and Linguistics

    Constructivism: Mathematics, Logic, Philosophy and Linguistics von Boretti, Bianca, Heinzmann, Gerhard, Ishihara, Hajime, Jervell, Herman Ruge, McCarty, Charles, McLarty, Colin, Negri, Sara, Ranta, Aarne, Ronzitti, Giuseppina, Veldman, Wim

    Veröffentlicht in Philosophia scientiae

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: