Самая большая электронная библиотека рунета. Поиск книг и журналов

Proof, Logic and Formalization

Автор:
Размер книги: 14.32 Mb

Proof and Knowledge in Mathematics

Автор:
Размер книги: 15.63 Mb

Proof, Logic, and Formalization

Автор:
Размер книги: 1.54 Mb

Logic from A to Z

Автор: , Автор: , Автор:
Размер книги: 684 Kb

Proof and Knowledge in Mathematics

Автор:
Размер книги: 1.29 Mb