You are viewing
askhome
's journal
Log in
Create a LiveJournal Account
Learn more
Логика и основания математики
Открытые проблемы, пути их решения
Recent Entries
Archive
Friends' Entries
User Info
Memories
Логика и основания математики
Entry Tags Listing
Profile
User:
askhome
Name:
askhome
Latest Month
September 2005
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Links
Дискретная математика, информатика, информационные технологии
Исследования по логике и основаниям матемтики
Исследования по логике и основаниям матемтики
Search
Search:
Category:
Site & User
FAQ
Site
Region
Interest
Username
Email
Gizmo/LJ Talk
AIM
ICQ Number
Yahoo! ID
MSN
Jabber
Entry Tags
nbg
,
Генцен
,
Гильберт
,
Кантор
,
Колмогоров
,
Марков
,
Черч
,
аксиоматическая теория
,
аппликативные вычисления
,
арифметика
,
исчисление
,
комбинаторная логика
,
ламбда исчисление
,
логика
,
логика высказываний
,
научная работа
,
непротиворечивость
,
основания математики
,
полнота
,
редукция
,
секвенциальная теория
,
секвенциальное исчисление
,
синтаксис
,
спецкурс
,
спецсеминар
,
теория множеств
,
теория первого порядка
,
учебная работа
Tag
Usage Counts
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
Top of Page
Advertisement
Customize