Шуменски университет "Епископ Константин Преславски"

Разширено търсене

Автор да съдържа П. Бернайс

Библиотека

Централна библиотека на ШУ (1)

Библиотека на ДИКПО (1)

Отрасъл

Естествени науки (1)

Без отрасъл (1)

Година на публикуване

1982 (1)

1979 (1)

Цб/510.6/Г 47

Каталог "Книги" | Книги | Библиотека на ДИКПО

Теория доказательств (1982)

Д. Гильберт; П. Бернайс

ЦБ 22576

Каталог "Книги" | Книги | Централна библиотека на ШУ

Логические исчисления и формализация арифметики (1979)

Д. Гилберт; П. Бернайс