EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F55 Intuitionistic mathematics

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 6 of 6

Ein intuitionistischer Beweis für den Graphensatz von D. Koenig

Fritz Homagk (1969)

Compositio Mathematica

Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.

D. van Dalen (1985)

Archiv für mathematische Logik und Grundlagenforschung

Eine beweistheoretische Anwendung partieller stetiger Funktionale.

H. Vogel (1978)

Archiv für mathematische Logik und Grundlagenforschung

Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.

Justus Diller, Werner Nahm (1974)

Archiv für mathematische Logik und Grundlagenforschung

Elementary interpretations of negationless arithmetic

E. López-Escobar (1974)

Fundamenta Mathematicae

Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra.

Martin Kneser (1981)

Mathematische Zeitschrift

Currently displaying 1 – 6 of 6

Page 1