Simpson S.G. — Mathematical Logic :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Simpson S.G. — Mathematical Logic

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Mathematical Logic

Автор: Simpson S.G.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2000

Количество страниц: 76

Добавлена в каталог: 10.12.2004

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Arity      19 57 62
ASSIGNMENT      5
Atomic formula      3 19 58 63
Atomically closed      33
BINARY      3
Block tableau      45
Block tableau, modified      48
Bound variable      20
Church’s Theorem      40
Clause      9
Closed      13 30
Closed, atomically      33
Cofinite      55
Compactness Theorem      54
companion      39 40
Completeness      39
Composite number      56
Congruence      53 54
Constant      57
Degree      3 19
Disjunctive normal form      9
Domain      63
Dyadic      15
End node      15
Equality      61
Equivalence relation      55
Equivalent theories      65
Falsity      22
Fibonacci numbers      57
Finitely branching      15
Formation sequence      4
Formation tree      4
Formula      3 19 58 63
Free variable      20
Gentzen-style proof system      47
Goedel number      67
Graph      17
Group      61
Hilbert-style proof system      38
Hintikka's Lemma      14 30
Identity      64
Identity axioms      53 61 64
Identity predicate      53
Immediate extension      10 26
Immediate predecessor      15
Immediate successor      15
Interpolation      49 51
Interpretable      66
Isomorphism      21 58
Koenig's lemma      15
Language      3 19 57
Language, primitive recursive      68
lg      47 61 64
LG'      48
LG(atomic)      48
LG(symmetric)      49
lh      43 60 64
LH'      44
Logical consequence      7 22 25 30
Logical equivalence      8 28
Logical validity      7 22 25 27 48 49
Many-sorted      62

modus ponens      39
n-ary      19
n-ary operation      57
Normal satisfiability      54 61
Normal structure      53 61 64
Numeral      67
open      13 14 30
Operation      57 62
Ordering, partial      17
PARAMETER      23
Parameters      64
Partial ordering      17
Partition      55
Path      15
Predecessor      15
Predicate      19 62
Prenex form      29
Prime numbers      57
Primitive recursive language      68
Proof system      38
Proof system, Gentzen-style      47
Proof system, Hilbert-style      38
Quantifier      19
Quantifier-free      29
Quasitautology      39
Replete      14 30
Ring      61
Root      15
Satisfaction      7 22 25
Satisfiability      7 22 25 27
Sentence      20
Sequent      46
Sequent calculus      47
Signed formula      10
Signed sequent      49
Signed variant      49
sort      62
Soundness      39
Spectrum      55 64
Spectrum problem      55 62 64
Structure      21 25
sub      69
Subtree      15
Successor      15
symmetric      49
Tableau      10 23 59
Tautology      7 39
Term      58 63
Torsion      62
TREE      15
Truth      22
Truth values      5
unary      3
Universal closure      29
Unsigned formula      10
Unsigned sequent      49
Valuation      5 21 58
Variable      19
Variable, bound      20
Variable, free      20
Variable-free      58
Variables      63
Variant      49

О проекте