Eine Erweiterung der NGB-Mengenlehre als Grundlage der Kategorientheorie
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Eine Funktionalinterpretation der prädikativen Analysis.
Eine Logik vager Sätze.
Eine Note zum System PC.
Eine rekursiv präsentierte Gruppe mit unentscheidbarem Wortlaut.
Eine semantische Charkterisierung der durch die Implikation allein darstellbaren Wahrheitsfunktionen.
Eine Variante des Ordinalzahlbezeichnungssystems ... .
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Eine weit reichende Wohlordnung der naturlichen zahlen
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.
Einige Charakterisationen von Ketten
Einstein Structures: Existence Versus Uniqueness.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El problema del árbol minimal para grafos difusos.
Basándonos en algunas definiciones previas, se analiza el problema del árbol generador difuso. En primer lugar se trata su existencia y después se encuentra el árbol generador difuso de mínimo costo mediante una descomposición por α-cortes. El estudio se realiza para dos estructuras diferentes de costos.
El Reticulo De Las Logicas De Primer Orden Con Cuantificadores Cardinales.
El sistema dels nombres reals revisat.
Elementare Aussagen zur Arithmetik und Galoistheorie von Funktionenkörpern.