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

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

blank
blank
blank
Красота
blank
Curry H.B. — Foundations of Mathematical Logic
Curry H.B. — Foundations of Mathematical Logic



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



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


Название: Foundations of Mathematical Logic

Автор: Curry H.B.

Язык: en

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Strict system      285
Strictly semantical statement      91
Stroke function      294
Structural induction      100
Structural rules      186 192
Studia Logica      20
Subaltern constituents      197
Subconstruction      102
Subformula property      225n.
Subnectors      33
Subnexus      33
Substitution prefix, in propositions      319—320
Substitution prefix, in terms      318
Substitution rule      69
Substitution theorem      324
Substitution, for predicate variables      321
Substitution, in statements      322
Substitution, of algorithms      76
Substitutive variables      112 114—115
Subtableau      237
Subtheory      46
Subtractive lattice      140 144 148 157 161 162
Subtractive lattice, classical      149—163
Subtractive lattice, topological interpretation of      146
Subtree      102
suffixes      34
Sum (axiom scheme)      159 161 295
Suppes, P.      19 23 82 121 see
Suranyi, J.      341 358
symbols      viii 29—30 106
Symbols as binary infixes      51
Symbols, concatenation of      51
Symbols, defined and illustrated      35
Symmetric difference      154
Syntactical system      51—54 83 85
Syntactical system, concatenative      52
Syntactical system, versus ob system      60—63
Syntactics      90—91
Syntax language      89
System, defined      50
System, versus theory      83
systems      50—64
Systems, elementary      68
Systems, formal      50
Systems, interpretation of      59—60
Systems, predicational types of      64—67
Systems, representation of      57
Systems, special forms of      64—70
Szam      53
T form of algebra      175
T formulations      165 175—178 216—219
T formulations, equivalence to L      216—219 281 342—343
T formulations, history of      248ff.
T formulations, of necessity      365—366
T formulations, of negation      280ff.
T formulations, of quantification      342ff.
T systems      see "T formulations"
TA form in propositional algebra      175
TA system      165 176—178 248—249 317
TA*      342
Table, interpretation through      129
Tableau      see "Proof tableaux" "Semantic
Takeuti, G.      22
Tang, T.C.      368
Tantet (tantet)      52—53
Tarski and Woodger      47 124 249 305
Tarski et al.      121 124
Tarski — Bernays theorem      248
Tarski, A.      19 26 47n. 49 83—84 88 91 121—124 161—164 175n. 184 246 248—249 305 358 see "Henkin "Jonsson "McKinsey
Taut (axiom scheme)      159 295
Tautology      26 59 see
TC form in propositional algebra      175
TC system      182
TC*      342
TD formulation      280
TE formulation      280
Tectonics      63 92
Term      86 316
Term extensions      315
Term functors      315
Term of development      298
Term operators      315
Term variables      314—317
Terminology, notes on      85—86
Terminus      102
Terms, in quantification theory      311
Terms, rules for, in quantification      317—321
Tettle (tetel)      52—53
Theorems, conventions regarding      198—199
Theoretical extension      94
Theory      45—49
Theory of types      17 21 23
Theory proper      51
Theory, extension of      46
Theory, interpretation of      48
Theory, versus system      83
Thesis      87
Thiele, H.      341
Time intuition      10
TJ formulation      280
TK formulation      280
TK*      342
TM formulation      280
Topological space      146
Topology, point-set      129
Traditional Logic      310
Transformation rules      53
Transliterations      369
tree diagrams      40 102
Truth criteria, fundamental      96
Truth of elementary statement      45
Truth tables      137
Truth tables, 0-1      297
Turing machine      79 82 85
Turnstile      84
Turquette, A.R.      see "Rosser and Turquette"
TX*      343
TXY      366
Type theory      21—22
U constants      111 316
U language      28—31 42 50 53 82 86 93 170—171 315
U variables      111 316
U verb      50
Ultimate ancestor      199
Ultimate definiens      106—107
Ultimate descendant      199
Umegawa, T.      250 309
Unary functors      33
Undecidability in predicate calculus      357
union      161
Union, symbols for      35
Unit element in lattice      138—139
Universal algorithm      81 85
Universal category      113
Universal predicate      113
Unrestricted operational rule      230
Unrestricted predicate variable      321
Vacuous quantification      319 344
Validity of interpretation      48
Valuation      59 356
Value      32
Variables      121
Variables, bound      313ff.
Variables, classification of      111—119
Variables, real and apparent      314 319ff.
Vaught, R.L.      121
VB, VB', VC (postulates)      134
Ve rule      176
Verbal function      315
Verband      161
verbs      33 315
Vereinigung      161
Vi (rule)      176
VK      134 160 179
VK'      134 160 179
Void class, individual      320
von Leibniz, G.W.      158
von Neumann, J.      17n. 22 160 see
von Wright, G.H.      368
VS (postulate)      134 179
VW (postulate)      134
W elimination      275
Waisman, F.      20
Wajsberg, M.      243 246—250 280 305—307 368
Wang, H.      22 358
Ward, Morgan      161—163
Weakened implications      250
Weakening rule      186 193 230 see
Wefs (well-formed expressions)      54 87
Weyl, H.      20 26
Whitehead and Russell      see "Principia Mathematica"
Whitehead, A.N.      4n. 6 22 84 158—160 246 295 304 308
Whitney, H.      162
Wilder, R.L.      19—20 26
Wittgenstein, Ludwig      17
Woodger, J.H.      see "Tarski and Woodger"
Word problem of group theory      84
Words as expressions      30
Yanovskaya, S.A.      21
Ye      365
Yh      366
Yi      365
Yield sign      84
Z      24
Zeitschrift fuer mathematische Logik und Grundlagen der Mathematik      20
Zentralblatt fuer Mathematik und ihre Grenzgebiete      20
Zermelo, E.      17n. 22
Zero element in lattice      138—139
Zhegalkin, I.I.      161
Zubieta, R.G.      324
[ALS]      89 373
[APM]      64 89 120 373 380
[AVS]      357 373
[CFS]      25 41n. 44 53 58 64 81 83 247 374
[CLg]      vi-viii 17n. 25 32n. 43 45 67n. 68n. 82—86 90 92 105 110—111 117 119—121 250 314 319 369 375
[DFS]      25 33n. 83 121 374
[DNF]      306 370 374
[DSR]      69 83 374
[DTC]      68n. 121 374
[ETM]      250 360n. 367 374
[GDT]      184 253 374
[GKL]      86 374
[IAL]      25 246 250 374
[IFT]      25 83 86 245 252 374
[LAG]      32n. 41n. 63 82 374
[LFS]      82 90—92 374
[LLA]      viii 25—26 44 64 149 153 158 161 287—288 294—295 305—307 310 374
[LMF]      31n. 82 90 374
[LSF]      91 374
[LSG]      82 84 374
[MSL]      82 90 374
[NAL]      160 374
[NRG]      249—250 274
[OFP]      26—27 84 120 374
[PBP]      86 374
[PEI]      249 357 374
[PFD]      245 305—306 356 374
[RDN]      85—86 373 374
[rev C]      33n. 115 375
[rev R]      375
[SFL]      86 374
[SLD]      244 279 306 370 375
[STC]      86 375
[TCM]      86 375
[TEA]      81 110 375
[TFD]      25 32n. 44 64 82—83 85—86 120 122 190 244—245 247—250 255n. 260 288 305—307 320 323 356 360n. 367 375
[UDB]      44 375
[UQC]      357 375
1 2 3 4 5 6
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте