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
03F99 None of the above, but in this section

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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

Previous Page 3 Next

Displaying 41 – 60 of 125

Some diophantine forms of Gödel's theorem.

V.H. Dyson, J.P. Jones (1982)

Archiv für mathematische Logik und Grundlagenforschung

Some simple decidability proofs

M. Kapetanović (1983)

Matematički Vesnik

Statistical approach to proof theory

Ivan Kramosil (1979)

Kybernetika

The lattices of numerations of theories containing Peano's arithmetic

Stanislav Palúch (1973)

Commentationes Mathematicae Universitatis Carolinae

Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture [Book]

J. Y. Girard (1976)

Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.

Gerhard Gentzen (1974)

Archiv für mathematische Logik und Grundlagenforschung

Über Hilbert's reale und ideale Elemente.

Horst Luckhardt (1975)

Archiv für mathematische Logik und Grundlagenforschung

Un'estensione del teorema di Löb

Giovanni Sambin (1974)

Rendiconti del Seminario Matematico della Università di Padova

Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.

Horst Osswald (1972)

Manuscripta mathematica

Why semisets?

Petr Hájek (1973)

Commentationes Mathematicae Universitatis Carolinae

Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt.

G. Kreisel (1976/1977)

Jahresbericht der Deutschen Mathematiker-Vereinigung

Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.

H. Bremer, C.H.H. Reynvaan (1975)

Archiv für mathematische Logik und Grundlagenforschung

$Σ_{n}$ -cofinalities of $J_{α}$

C. Chong (1979)

Fundamenta Mathematicae

Аппроксимируемость операторов в конструктивных метрических пространствах

С.В. Пахомов (1976)

Zapiski naucnych seminarov Leningradskogo

Достаточное условие представимости конструктивной функции в виде суммы двух суперпозиций абсолютно непрерывных функций

Osvald Demuth (1972)

Commentationes Mathematicae Universitatis Carolinae

Достаточное условие сходимости монотонных последовательностей

Ю.В. Матиясевич (1971)

Zapiski naucnych seminarov Leningradskogo

Ещё один конструктивный вариант теоремы Коши

И.Д. Заславский, Г.С. Цейтин (1971)

Zapiski naucnych seminarov Leningradskogo

Законы больших чисел в конструктивной теории вероятностей

Н.К. Косовский (1969)

Zapiski naucnych seminarov Leningradskogo

Замкнутые категории и теория доказательств

Г.Е. Минц (1977)

Zapiski naucnych seminarov Leningradskogo

Иерархии операторов в конструктивных метрических пространствах

С.В. Пахомов (1976)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 41 – 60 of 125

Previous Page 3 Next