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
03F30 First-order arithmetic and fragments

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 – 8 of 8

Бескванторные и однокванторные системы

Г.Е. Минц (1971)

Zapiski naucnych seminarov Leningradskogo

Бесконечные арифметические формулы и принцип рефлексии.

Н.В. Белякин, С.П. Одинцов, N. V. Beljakin, S. P. Odincov, N. V. Belǎkin, S. P. Odincov, N. V. Beljakin, S. P. Odincov (1997)

Algebra i Logika

Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости

Р.К. Пранк (1981)

Algebra i Logika

Доказательства в арифметике, использующие случайные числа

Е.Я. Данцын (1995)

Zapiski naucnych seminarov POMI

Замечание об усилении гипотезы Г.Крайзеля

В.П. Оревков (1989)

Zapiski naucnych seminarov Leningradskogo

Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера

А.Ю. Плюшкевичене (1971)

Zapiski naucnych seminarov Leningradskogo

Последний вопрос о рекурсивно-перечислимых $m$ -степенях

А. Нис, A. Nis, A. Nis, A. Nis (1994)

Algebra i Logika

Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики

Г.Е. Минц (1971)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 1 – 8 of 8

Page 1