Зведений каталог бібліотек Тернополя

• Класифікатори та каталоги
• де...

Дедуктивні системи: математичні дослідження 22.122

Документи:

• O logice matematycznej i metodzie dedukcyjnej [Текст] / Alfred Tarski. — Lwow ; Warszawa : Ksiaznica Atlas, [поч. XX ст.]. — 166 s.