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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
