Curry H.B. — Foundations of mathematical logic :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Curry H.B. — Foundations of mathematical logic

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

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

Название: Foundations of mathematical logic

Автор: Curry H.B.

Аннотация:

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Язык:

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

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

ed2k: ed2k stats

Издание: 2 Revised

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

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

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

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

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

"1"      167
"Basic logic"      24
"Syll,"      247
$(PK)_{*}$       238
,       316
, ,...      316
$f_{*}$       259 262 277 326
$PK_{(1)}$       284
$PK_{*}$       239
postulate      140
postulate      141
, ,...      316
$\Delta$       162 196
$\epsilon$ (infix)      316
$\gamma$       194 196
$\mathbf{B}$       118
$\mathbf{B}^{'}$       118
$\mathbf{D}$ (infix)      106—107
$\mathbf{E}$       113
$\mathbf{F}$       32
$\mathbf{F}_n$ operator      82
$\mathbf{k}$       118
$\mathbf{K}^{'}$       118
$\mathbf{R}$       103—104
$\mathbf{R}_0$       104
$\mathbf{S}$       118
$\mathbf{W}$ (combinator)      118
$\mathcal{Y}$ , special rules for      191
$\mathfrak{E}$       45 316
$\mathfrak{E}(\mathfrak{u})$       317
$\mathfrak{F}$       255 257 262 318
$\mathfrak{g}$       316
$\mathfrak{O}$       316
$\mathfrak{P}$       316
$\mathfrak{P}(\mathfrak{q})$       320
$\mathfrak{P}(\mathfrak{u})$       320
$\mathfrak{q}$       317
$\mathfrak{R}$       316
$\mathfrak{S}$       316
$\mathfrak{S}$ deduction      199
$\mathfrak{S}$ derivation      193
$\mathfrak{S}$ system      255
$\mathfrak{S}$ transformation      267
$\mathfrak{T}$       45 316
$\mathfrak{t}(\mathfrak{u})$       317
$\mathfrak{U}$       316
$\mathfrak{X}$ , special rules for      191 279
$\mathfrak{Z}$ , special rules for      191
$\mathrm{I}$       118
$\mathrm{I}^{'}$       118
$\omega$       316
$\omega_1$ , $\omega_2$       316
$\Phi$       316
$\phi_1$ , $\phi_2$       316
$\Pi_0$       344 357
$\pi_1$       344
$\Pi_2$       344
$\sigma_P$       344
${ }_{*}K_{*}$       186 192 199—200 237 326 351
${ }_{*}K_{*}$ , initial applications of      230 238
${ }_{*}K_{*}$ , restrictions of      230 275
${ }_{*}N_{*}$       259 261—263 326
${ }_{*}O_{*}$       188
${ }_{*}P_{*}$       187 193 200—201 231 259 326
${ }_{*}V_{*}$       187 193 200 326 327
${ }_{*}Y_{*}$ rules      362
${ }_{*}\Lambda_{*}$       187 193 200 201 326 327
${ }_{*}\Pi_{*}$       327 330
${ }_{*}\Pi_{*}$ , $\Pi_{*}$       328
${ }_{*}\Pi_{*}$ , ${ }_{*}\Pi$       323 326
${ }_{*}{\Sigma}_{*}$       327 330
${(\mathfrak{r}1)}^{"}$       199
${(\mathfrak{r}1)}^{'}$       198
${HG}^{*}_{g}$       344
${HK}^{*}$       312 352
${HX}^{*}$       343—344 349
${HX}^{*}_{p}$       346
${LA}_1$ system      190 249
${LA}_m$ system      190 232 277
${LA}_m$ system, elimination theorem for      213
${LC}^{'}_{1}$       223 227
${LC}^{*}$       312 321
${LC}_{1}$       190 249
${LC}_{m}$       190 249 277
${LD}^{*}$       321 323 330 332
${LD}^{*}_{1}$       332
${LD}_{m}$       263 279
${LE}^{*}$       321 330
${LE}_{1}$       279
${NB}^{'}$       284 287
${NI}^{'}$       284
${NK}_{(1)}$       284
${\Lambda}B$       132 162
${\Lambda}B^{'}$       132
${\Lambda}C$       132 160
${\Lambda}e$       176
${\Lambda}i$       176
${\Lambda}K$       131 160 179
${\Lambda}S$       131 180
${\Lambda}W$       132 160
${\lambda}x(M)$       115
${\mathfrak{S}}(\mathfrak{u})$ , formulation of      317
${\mathfrak{S}}^{'}$ system      255
${\mathfrak{S}}^{*}$ , primitive ideas of      317
${\Pi}h$       344
${\Pi}P$       344 357
${\Sigma}_{*}$       323 326 328
${\Sigma}_{0}$       344
${\Sigma}_{1}$       344
${\Sigma}_{2}$       344
${{\Lambda}K}^{'}$       131 160 179
'Basic,' in definitional extensions      107
'Calculuses,'      115n
'Finitary,' introduction of      27
'Paradox'      4
'Predicate indeterminate'      321n.
'Token,'      86
'Treillis,'      161
( $\epsilon$ )      104
( $\mathfrak{p}1$ )      192 202
( $\mathfrak{p}1}^{'}$ )      202
( $\mathfrak{p}2$ )      192
( $\mathfrak{r}1$ )      197
( $\mathfrak{r}2$ )      197
( $\mathfrak{r}3$ )      197
( $\mathfrak{r}4$ )      197—199
( $\mathfrak{r}5$ )      197
( $\mathfrak{r}6$ )      198
( $\mathfrak{r}7$ )      198
( $\mu$ )      104
( $\nu$ )      104
( $\rho$ )      104
( $\sigma$ )      104
( $\tau$ )      104
*C*      186 192 200 326
*W*      186 192 196 200—201 320 323
*W*, omission of      243
*W*, reduction of      231
0, 1      138 316
A language      53 61 315 317
A nouns      50
A nouns, standard      54
A priori knowledge      13 16
A sentence      50
A verbs      50
A1 assumption      320 349
A2 assumption      320
Absolute implicative lattice      162
Absolute L system      185
Absolute propositional algebra      175 181

Absolute Skolem lattice      139—149
Absolute subtractive lattice      162
Absolute system      185
Absorption law      135
Abstract system      86
Abstract theory      85
Abstraction      15 30 61
Abstraction, levels of      27
Absurdity      255 259 305
Absurdity, complete      260—261
Absurdity, simple      260—261
Acceptability      16 48
Ackermann, W.      19 22 24 26 251 348 358 see
Adjoined indeterminates      99 114
Adjunctor      86
Admissible classical valuation      334
Admissible rule      97
Affixative system      51
Affixes      34
Ajdukiewicz, K.      121
Aletheutics      91
Algebra, Boolean, cylindric      358
Algebra, Boolean, defined      126 174
Algebra, Boolean, formulation of      67
Algebra, Boolean, intuitionistic propositional HJ      285
Algebra, Boolean, polyadic      358
Algebra, Boolean, propositional      55—56
Algebraic rules      322
Algorithm      70—82
algorithm, defined      71 80
Algorithm, duplication      71—73 78
Algorithm, generalizations of      79—80
Algorithm, Markov (normal)      see "Markov algorithm"
Algorithm, shuttle      74—79
Algorithm, substitution of      76
Algorithm, universal      81
Alike constituents      191
Alphabet      29
Alternation      96
Alternation connective      172
Alternation property      229 250 253 309 332
Alternation rule      193
Alternative development      298
Alternative normal form      300
American Mathematical Society      82
Analysis of arithmetization      7
Analysis of arithmetization, of construction sequence      41
Ancestor relation      105 199
Anderson and Belnap      251
Anderson, A.R.      251 368
Antecedent      191
Antecedent of command      70
Antinomy      3—8
Apparent variables      314 316 319
Applicability of command      70
Applicability of command, of tableau      239
Application      67
Applicative System      67
Applied predicate calculus      321
Archiv fur mathematische Logik und Qrundlagenforschung      20
Argument      32
Arithmetic, generalized      85
Arithmetical systems      23—24
Arithmetization of analysis      7
Artificial interpretations      129
Asser, G.      80 82 84 358
Assertible proposition      188
Assertion sign      65—66
Assertional logical algebra, relation of, to relational      166—168
Assertional system      65 84 165
assertions      64 188
Assoc (axiom scheme)      159
Associative laws      133 135 160 176
Associative laws, Boolean rings and      154
Associative system      55
Associativity, of concatenation      63
Assumption A1      320 349
Assumption A2      320
Atomic extension      94
atoms      54 86
Atoms, infinitely many      67
Atoms, occurrence of, in terms and propositions      317—318
Automorphism      174
Autonymous mode of speech      30
Autonymous representation      57
Autonymous representation, method of avoiding      88
Auxiliary interpretations      174—175
Auxiliary letters      70
Auxiliary operation      69
Auxiliary postulates      191
Auxiliary statements      191 318 320 322
Axiom      46 191 316
Axiom of Choice      13 23
Axiom of infinity      1
Axiom scheme      55 114
Axiomatic extension      47 94
Axiomatic ob      66
Axiomatic proposition      66
Axiomatic set theory      22
Axiomatic statements      46 66
Axiomatic theory      49
B language      314—316
Bachmann, H.      23
Bar-Hillel, Y.      20—23 26 121 161
Barber pseudoparadox      4
Barcan, R. (Mrs. R.B. Marcus)      368
Basic clauses      83
Basic predicates      50
Basic step      100
Basis (of an inductive class)      38
Basis of a Boolean algebra      297
Basis of a Boolean algebra, of a lambda expression      116
Becker, O.      368
Behmann, H.      24
Belnap, N.D., jr.      251 see
Bennett, A.A.      159
Bergmann, G.      17
Bernays and Fraenkel      23
Bernays, P.      8 19 22 27 83 123—124 160 183—184 246 248—249 288 306—307 342 see
Bernstein, B.A.      308
Berry paradox      6
Berry, G.D.W.      121
Beth algorithm      356
Beth, E.W.      20—27 121 124 235 237 239 244 250 356
Binary functors      33
Binary infix      54
Birkhoff and von Neumann      160
Birkhoff, G.      134 149 158—162 296 304 308
Black, M.      3 20 26
Blake, A.      309
Blanche, R.      19
Blocked algorithm      71
Blocked, in definitional extension      108
Bochenski, I.M.      20—21 26 36 250 293 367
Boole — Schroeder algebra      159
Boole, George      66 158 161 246 307
Boolean algebra      66 67 88 161 163 289ff 297 see "HK"
Boolean algebra, bases in      297
Boolean algebra, completeness in      291 300
Boolean algebra, counterbasis in      298
Boolean algebra, decidability in      291
Boolean algebra, duality in      293
Boolean algebra, elimination problem in      302
Boolean algebra, finite      296—297 308
Boolean algebra, free      300
Boolean algebra, origin of term      308
Boolean algebra, representation theorem in      297
Boolean algebra, resolution problem in      302
Boolean algebra, with extra operations      164
Boolean equations      301ff

1 2 3 4 5 6

О проекте