Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца alenka.aleks со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

The Mathematics of Metamathematics. Том 41   Helena Rasiowa, Roman Sikorski

The Mathematics of Metamathematics. Том 41

Monografie matematyczne
170x245 520 страниц. 1968 год.
PWN Polish Scientific Publishers
Metamathematics is a theory which deals with formalized mathematical theories. A formalized mathematical thory is, roughly speaking, a set of certain finite sequences of symbols, called formulas and terms, and of certain simple operations performed on those sequences. The forulas and terms are substitutes - formed by means of a few simple rules - of sentences and functions in an intuitive mathematical theory.
 
- Генерация страницы: 0.03 секунд -