Поиск
На сайте: 567998 статей, 285524 фото.

Basic Proof Theory (книга)

Basic Proof Theory
Автор: A. S. Troelstra
H. Schwichtenberg
C. J. van Rijsbergen
Anne S. Troelstra
Оригинал издан: ????

«Basic Proof Theory»книга ???? года.

Содержание

Содержание

От издателя

«This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of…»

Рецензии

См. также

Ссылки