Логика и основания математики - Entry Tags Listing

Home

You are viewing

askhome's journal
Log in Create a LiveJournal Account Learn more

Логика и основания математики

Открытые проблемы, пути их решения

Entry Tags Listing

Tag	Usage Counts
Tag	Total	Public	Friends	Group	Private
nbg	1	1	0	0	0
Генцен	1	1	0	0	0
Гильберт	2	2	0	0	0
Кантор	1	1	0	0	0
Колмогоров	9	9	0	0	0
Марков	1	1	0	0	0
Черч	1	1	0	0	0
аксиоматическая теория	1	1	0	0	0
аппликативные вычисления	1	1	0	0	0
арифметика	1	1	0	0	0
исчисление	1	1	0	0	0
комбинаторная логика	1	1	0	0	0
ламбда исчисление	1	1	0	0	0
логика	1	1	0	0	0
логика высказываний	1	1	0	0	0
научная работа	4	4	0	0	0
непротиворечивость	3	3	0	0	0
основания математики	2	2	0	0	0
полнота	2	2	0	0	0
редукция	1	1	0	0	0
секвенциальная теория	1	1	0	0	0
секвенциальное исчисление	1	1	0	0	0
синтаксис	1	1	0	0	0
спецкурс	4	4	0	0	0
спецсеминар	4	4	0	0	0
теория множеств	2	2	0	0	0
теория первого порядка	1	1	0	0	0
учебная работа	4	4	0	0	0

Advertisement

This page was loaded Dec 22nd 2009, 10:37 am GMT.