Главная    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
Предметный указатель
Peter, R.      123
Ph      344
Ph'      367
Phase of shuttle algorithm      75
Philosophical logic      1
phrases      32—33
Pi rule      176
PI scheme      98 179 183
PI'      284
PK      179 183
Pk rule      182
PK, independence scheme      183
Place marker      75
Platonism      8 12—14 26 29 see
Ply operation      139
Ply operation, interpretation of      172
Ply operation, notation for      162
Ply operation, postulates for      140
Point notation      35—37
Point, in Boolean algebra      296
Point, left- or right-facing      36
Point, scope of      36
Point-set topology      129
Polish logic      24
Polyadic algebras      358
Polytectonic construction      41
Poretskii, P.      308
Porte, J.      80n. 84 288 296 305 368
Positive occurrence      216
Possibility, analysis of      360
Post algebras      163 309
Post algorithm      80
Post completeness      47—48 83 95
Post consistency      83
Post system      80
Post, E.L.      46n. 47 80n. 83—84 308—309
Postulate systems      10
Postulates      46
Pragmatics      90
Predicate      315
Predicate calculus      343
Predicate calculus, applied      321
Predicate calculus, first-order      21
Predicate calculus, proper      344 346 357
Predicate calculus, pure      346
Predicate calculus, with equality      348
Predicate calculus, with generalization      344
Predicate constant      321
Predicate symbol      65
Predicate variable      321
Predicate, verb and      33
Predicational types of systems      64
Predicators      33 315
prefixes      34
Premises      46
Premises, null set of      252
Prenex normal form      349ff. 357
Presentation of system      56
Presentation of system, (prime)      289
Prime assertion      283
Prime statement      192 202 322
Prime statement, elementary      202
Primitive constants      315—316
Primitive frame      46 51
Primitive operations      54 317
Primitive predicates      317
Primitive predicators      316
Primitive propositional constant      321
Primitive recursion scheme      110
Primitive term operators      316
Principal constituent      197 239
Principal operation      107
Prior, A.N.      19 248 368
PRODUCT      161
Projective geometry      129
proof      87
Proof scheme      99
Proof tableaux      235 250 336—340 356
Proper combinations      101
Proper component      102
Proper definitional extension      108
Proper obs      113
Proper predicate calculus      344 346 357
Proposition      86 168—169 311 316
Proposition, clause and      33
Proposition, constant      319
Proposition, defined      171
Proposition, elementary versus compound      185
Proposition, eliminated      208
Proposition, in quantification, defined      318
Proposition, morphology and      190—191
Proposition, real      319
Proposition, rules for, in quantification      317—321
Proposition, substitution prefixes in      319
Propositional algebras      175—184 see
Propositional algebras, absolute      181
Propositional algebras, classical      55
Propositional algebras, classical positive      182
Propositional algebras, classical, finite form      56
Propositional connectives      172—173 311
Propositional constant, primitive      321
Propositional function      315n.
Propositional interpretation      168—172
Prosequences      191
Prosequences, occurrence in      321ff.
Provable wef      87
PS      180 183
Pseudocomplement      285
Pseudocomplemented lattice      285
Pure predicate calculus      346
Purely syntactical statement      91
Putnam, H.      309
PW      183 194
Px      193 223 260n. 326
Quantification      311—358
Quantification rules      323
Quantification, H formulations of      343
Quantification, L formulations of      321—324
Quantification, rules for terms and propositions in      317—321
Quantification, T formulation of      342
Quantification, vacuous      319 344
Quantifiers, defined      311
Quantifiers, modal      368
Quantifiers, semantics of      312
quantum mechanics      160 163
Quasi atoms      113
Quasi definitions      280 292—296
Quasi quotation      31n.
Quasi-definable operation      292
Quasi-ordered system      64 199n.
Quasi-parametric ancestor      204
Quasi-prime statements      202
Quasi-principal constituents      197 231—232
Quine, W.V.      17 19 22—26 31nn. 62 82 121 308 348—349 356—358 368
Quotation functions      31
Quotation marks      viii 31 82
R1-R8 (axiom schemes)      153—156
Ramified theory of types      22
Ramsey, F.P.      7 12n. 17
Range, in quantification      347
Range, of statement      322
Rank in proof tree      206
Rasiowa and Sikorski      121 368
Rasiowa, H.      121 342 354
RD      see "Rule of definitional reduction"
Real proposition      319
Real term      319
Real variables      314 316
Recursive arithmetic      24
recursive functions      122ff.
Recursive, in definitional extension      109
Recursively enumerable set      123
Referativny Zhurnal Mathematika      20
Refutability      255 305
Refutability, classical      261
Refutability, complete      260—261
Refutability, direct      262
Refutability, simple      259 261
Regular deduction      199
Regular interpretations      174
Regular rule      198
Rejection      305
Relation algebra      163
Relation interpretation of logical algebras      127
Relational logical algebra      125—164
Relational logical algebra, relation to assertional      166—168
Relational system      64
Relatively pseudocomplemented lattice      162—163
replacement      103
Replacement Theorem      121 215—216
Representation of a system      57
Representation theorem in Boolean algebra      297
Resolution problem in Boolean algebra      302
Restduated lattice      162—163
Restriction of $_{*}K_{*}$      275
Restrictions, singularity      323
rev.      369
Richard paradox      6
Richards, I.A.      see "Ogden and Richards"
Right constituent      191
Right prosequence      191
Right-facing point      36
Rigor, mathematical      3 7 13—14
Rimes, D.      20
Ring logics      163
Ring, defined      153
Robinson, A.      121 124 358 see "Tarski
Robinson, T.      253
Rogers, H., Jr.      123
Rosenbloom, P.C.      19 44 83 163 308—309
Rosser and Turquette      309
Rosser, J.B.      9n. 19 23 44 84 120—121 296 304 348 358 375
Rosskopf, M.F.      see "Exner and Rosskopf"
RP      see "Replacement theorem"
Rubin, J.E.      161 368
Rueckverlegung der Einsetzungen      115
Rule of definitional reduction      107
Russell paradox      4 26
Russell, Bertrand      4n. 5n. 6 12n. 22 27 61n. 84 159—160 246 295 304 306—307 see
Russian transliterations      369
S transformation      270
SAM      52—53 94
Sam, generalized      54
Schematic definitional extension      108
Schematic generalization      98
Schilpp, P.A.      4n.
Schmidt, H.A.      19—20 25—26 64 184 249 251 279 288 309 358 368
Schnitt rule      188 247 250
Schoenfinkel, M.      357
Scholz, H.      19—21 34n. 88 307 see
Schroeder, E.      22 159—163 246 308
Schroeter, K.      83 248 307 358
Schutte, K.      19 22 25 27 348 358
Semantic tableaux, Beth's      25 237 see
Semantical paradox      7
Semantical study in quantification      312—313
Semantics      90—91
Semi-inductive class      47
Semideductive theory      47
Semigroups      163
Semilattices      131 161
Semilattices, equational formulation of      133
Semilattices, implicative      141 147—148
Semimodel      60
Semiotic systems      90
Semiotics      29 90
Semiregular rule      198
Semishuttle algorithm      75
Semishuttle algorithm, equivalence to Markov algorithm      76
Sentence      33—34 45 53 86 168—171
Sentence, defined      170
Sentence, versus statement      34 170
Sentential concepts defined      110
Sentential functor      315
Separated set      283
Separation property      225—227 250 276 332
Set difference      150
Set theory      17
Set theory, axiomatic      21—22
Shanin, N.A.      27 124 309
Sheffer stroke function      294
Sheffer, H.M.      294
Shuttle algorithms      74—79 85
Shuttle algorithms, composition of      76
Shuttle algorithms, equivalence to Markov algorithm      78
Shuttles      74
Sierpinski, W.      23
Sikorski, R.      121 310 354 see
Simp (axiom scheme)      159 295
Simple absurdity      260—261
Simple refutability      259—261
Simultaneous substitution      119
Single quotes versus double      viii 31
Singular (prosequence, elementary statement, system)      191
Singular formulations, equivalence to multiple      219—224 250 271—275 329
Singular functor      33n.
Singular prosequence      191
Singularity restrictions      323
Skolem lattices      139—149 101—162
Skolem lattices, classical      149—158
Skolem lattices, nonderivability in      147
Skolem normal form      352—357
Skolem paradox      6
Skolem, T.      22 24 121 123—124 141 144 159 161
Slupecki, J.      24 34 see
Smeaton, Amethe      372
Smullyan, R.M.      25 121
Sobocinski, B.      34n. 296 308
Special functors      35
Specker, E.P.      23 26
Speech, autonymous mode of      30
Stage, hypothesis of      208
Standard A language      see "A language"
Standard formulations, HD, HC, HE, HK      286
Standard formulations, HJ      285
Standard formulations, HM      285
Standard Lukasiewicz representation      58
Standard presentation      56
Standardized definitional extension      108
Standardized definitional reduction      108
Stanley, R.      356
Starting command      72 75
Starting shuttle      75
Statement      33 86 170
Statement extension      94
Statement function      315
Statement, auxiliary      191 322
Statement, elementary      322
Statement, occurrence in      322
Statement, prime      322
Statement, range of      322
Statement, strictly semantical      91
Statement, versus sentence      34
Stegmuller, W.      82
Stenius, E.      26
Stone Representation Theorem      164 297 308
Stone, M.H.      161 164
stop commands      70
Strawson, P.F.      20
Strict implication      306
1 2 3 4 5 6
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте