книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Proof Theory

Код 1071597

Нет в продаже

Аннотация к книге "Proof Theory"

High Quality Content by WIKIPEDIA articles! Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1303-3062-0
Объём: 72 страниц
Масса: 129 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают