Пайсон Б.Д. Математическая логика

lit_,

YtIEBHAfl

'II4TEPATYPA

NO KVPCV:

1. Irlrourun

8.71. Marel{arr4qecKaJ{

irorrrKa r{ Teoprrfl

arrropr{Ti\,roB.-

Caparoe:

I4s4-no

Capar.

yn-ra,

1991.

2

.

Wrowun B.Iz1.

3a4a.rnr{K-npaKTr{Kyr\r rro ].rareN{irrr4qecxofi

.rroru-

xe :

V.re6.

noco6ue

AJrs

cryAenToB-3aoqHrrxon

Sus.-nar.

$ax.

ue4. urr-

ron.-

iVI.: llpocneq,enne, 1986.

3.

Izlrourun 8.tr4. Marel,rarr{yecKafl

Jror}rKa

rr reoprrfi

aJrropr{Th,roB:

V.re6.uoco6ve

Ailfl

cryA. Br,rc[r.

y.re6.

sane4enrfi.-

M.:

irl:4.

r{errrp

"AxaA€&rrrrf"

,2004.

4.kIronnn 8.tr4.

3agavrr rr

ylpa)Kr{eHnq

rro

Nrarer\,raruqecxofi

JrofrrKe

r{ Teopul,{ aJ-rroprrrrvron.

-

M.:

tr4s4.

qenrp"Axa4elrna"

,2004.

5.

N{enge"nacon

9.

Bee.4enlre

B r\rzr,Tel{rrrtrqecKyro

Jrorr{Ky.-

M.: Ha-

yxa,

1976.

6. Huxo.nscxas tr{.JI.

3naxoucrro c \{areruarrrqecxoft

;rornrofi.-

I\{.

:

Mocxoscxxft ncrrrxoJror-o-coqrraJrbrrbrft

Nn-r:

@"rrunra,

1 998.

7. Hoe[xos lI.C.

Snerter{Tbr

\r:rre]\{arn.recxoft

JrorlrKu.

-

M.: Htrvxa.

1973.

AOn

OJI

HI4TET'IbH

A

-B

JI

I4TEpATVpA

:

B.

fn.nr6ept

[.,

Bepnaitc

fI.

Ocuoet),uus r{are]\.rarr{Klr:

Jloru.{ecxue

r{cr{rrc.rrenr{a x

$oprrlaJrrr3a,qr{s

apu$lreruxn.-

N{. :

Hayxa, 1979.

9.

flr"nt6epr

f.,

Bepuafic

fI.

Ocroszruus r{arer\{arrKu:

Teopua

4o-

Ka3are.rrbcrs.

-

M.:

Hayxa,

1982.

10.

flru4uxus

C.f.

A"rrre6ltzr JrofrrKrr

B 3il,Aar{i}x.-

M.: Hayxa,

1972.

11. Epuroe IO.I., fla-rrrornn

E.A. MareruarnqecKag

-rrorraxa.-

M.:

Hayxa, 1979.

12. )Ko"rrr, K.K."ilornx?1,

B J'rnqax u cr{\rBoJrax.-

M.: IleAaroruxa-

flpecc, 1993.

13. KnnHu C.K. Marelr?)TrrqecKilfl.rrorr{Ka.-

M.: Mup,

1973.

14. Ko.nruroropoB A.H.,

flparr]Jrrn

A.f. Bne4enrre

B

r{arer\{arr.rqe-

cKyro Jrorrrxy.- M.: i4:4-no

Mocx.

yir-.r:r,

1982.

16rj

15.

Ko.urrroropoB

A.H.,

l{parzrtJIIII{

A.l'

IVIzrtclllTl{Ye(lKtlf

iloi'ItK?l''

!,ono"nuureJlbrrEle

rJIaBbI:

Vqe6.noco6He.-

Ni[':

il3A-eo

Mocx'

-\"n-

ra,

1984.

16. ,ilaepoe

I4.A.,

MaxcrrNroBitr

"rl.iI.

3a4a.rrr

rro

Teoplllr

\.{Ho}Ke(;TB)

\rareruarllt{ecKoft

.[ofr{Ke

r{ Teoprlrr

aJIropI'IT\{on'-

M'

: Hayxzr,

1975'

17.

N,{o,ro;luiufi

B.H.

Ovcpxrr

no

drn.nococ}cxrr'r

BO[poca\I

NlitToi\fil-

TrrKrI.-

IvI.:

Ilpoceeqenue'

1969.

lB.

cro.nxp

A.A.

JioruqecKoe

BBeAerrr.rc

B IIiTIe\iiITIIKy.-

Mntrcx,

r97r.

19.

9ep.r

A.

Bne.Aeirrle

B

N{areluarllqe(iKvro

itoll{Ky'-

IV{':

I'I::A-nrr

tr4nocrpanuz)fl

.nl{Teparypa,

1960.

I'{TEPATYPA

A,]lf

VTIAII{LIXC

fl

:

20.

Eu:arrr

l{.,fepqer

f{..

:]'|rrpit

n

..TrorrlKa.

(85

.rto|l.t.tecxnx

sttna'r)

/nep.

c

Berlr.-

N{.:

I\{uP,

1975'

21.

Bn:tiirr

.il.,lepqer

-f.

IUrroror\BcTH?rr

.I1ofrlKil

(175

.nortt't€](:Kllx

sa4trv)

fnep.

c

BeHf.--

M.:

Mrrp,

1978.

22.

BuneHxlm

H.fl.,

Hnxo;tt'cKas

14.iI.llnerrleHTbI

NI.ITeNIilTIIaIet:r{oiI

JIOfrTKu.-

n Xn.@anynbTa,TIIBHbrrYr

Xypc

n0

I\lilTeNIilTUxe:

V'tc6.

n<l-

co6[e

rus

7-9

KraccoB

cpe.4ueii

lIIKo./.IbI

f

Co<:r.I4.ILHuxo.nr,r:xtts-

M.:

flpocrenlenae,

1991.

23.

Flraxo.nrcxztn

ll.f,I.,

Cerrenon

E.E'

V-lurttctl

l)ac(lyNiAilT6

II

{t)Ki)-

3r,rBarb:

I{n.

4,ra

yqi}rrlllxcfl 6-10

xn.cpeil.trrK.-

M.:

flpoceerl()Trrlc.

1989.

24. Crolxp

A.A.

Kar

NIareI\Ia,TrIKa

y\I B nopr.rtori

IpIIBoAIIT'-

\4rrtrcx:

Bsrru'efituag

mxo.na,

1982.

25.

l[Ien'ienro

B.E.

I{exoropure

c;no<:o6u

perrlel{rlf

.iIof}IrK)(]K}IX

3arar{.-

Knen,

Bnrqa

rrxo.na,

1979.

26.

flrnort

tr{.NtI.

Heo6blK}rorJerlgarr

lr.nrt:6pa''-

M

:

Ha'yxtr',

1968'

t(j-l

2.1

2.2

:J.

I

1.1

:t

3.2

a;)

1.4

;.i

7.1

7.')

7.:J

7.J

7.;

9.1

0

-)

r0.1

t1.l

t 1.2

11.:J

t 1.-{

tl.,)

11.6

11.7

12.1

12.2

I 7.1

19.1

22.1

)t 1

irJ, l

'2:').2

27.1

31.1

1)

1i

1;

19

22

n2

.),1

t,l

n,l

{,)

.14

44

l-l

,12

56

VIiA3ATE.N

b

O

N PE.IIE.IIF]HIiii

C0.,lc

))tiiLt I ltc

(Dopr,r.ri;r

a ail

lc6p rr rJr,rcKi):l r)r uilr l

t{

fi

To;r<11cc'r'trr:lt r() 11c'f H Iur?rrl

(Lrr;rr.'1t:t:'Lrrcrro

.;rox{rril,r

)

rlrr.lprr.v;rtt,

l'aurutx:lt,ir

r,t r r,ro

d)op\r.\'.il

r,r

4)ollrr v.;l a,

-;

1rc

l.it:' r'r*rr r n rl,q

.,\a,r

r roir

dtopr'ry;rc

l'c t

y.'r

11

1;1

1 ;1.r,

tlroll

rt-v.;t a, iuu

c6l)ln r t,t

(:

t<trl

r,uri)tt u ii

l)-rrt:rrcr n itlrrrirH riorI'l)ror I Kllr'r t

3rt

tlr,iC

t t't ir,1.l t t

il,il

rr(l.l:

J l,lOI

I li

I

ltl

H

Iirlrlr,rorrx'r'r'rurra,r

rol)\ril,;u,trilr

drt4x,ta $o1ruy;n,r

"l\rr:r'r,rorrri'r'n

ur;lr lol)\ri)ju,uitl

(bopva,

{xrprry;rr,L

\'{r

trt>t<ct:'t no u(:T It Ir II(

xif

r.r I IIXr.:1il r{iIlil

Iior

n,l<lr r x rtuir rr])oi{lr l(iril or}

.]lr't'r,rclrr

x rlna r rpol\n rcrirl)n

I'{ll rur r,l ri:t.r1na r rl)c;t}r r(ar'orJ

O

11rr,l r1;tr

r r.rt, rrlxr.rln ria;l il

'ft.rl)lt

t:rrrrr;t:r'vl.rr,r o

Qollrrv;ra

(:lrluit:l

vl)r,r

rr

[

[ tt'ttllr tlxlt'a t

1ilrr

(:not

luir"'l

l,l

i r,r

x cntr]o,;rorl

Hc.lirrr

rir

r.v'ra.u

clxrlrrrv-;ra.

r1)),rirloc'l't]cillro

l.lc f l.ililtit.t rt Hr|l

(_rl)trlx)

l'il,tlHtl

Hc: rtt,rr

x

r rr,, r

a,l

<lxtirv-1,;r

it,,

Iilt l

loil

l il4 Ililn B rilt'l'(:])trl)o fit,tu.r

H

()6trtc

:rra,' r rr rralr r Ic:iil\r lir I v'r

*a rlxtpvy;ra,

B r,r r rr).;r r r u

i.t

;t.:t

l I

o:a

r.r K r r] r'il H rlroprry;ril

()6r

r

u'l:t

r r

ir,,

r lr

r

r iir

3:l,r.l r( r Iy'r'il,x <]ro1-rr,ry.:la

Br,rno.;r

r

rr rr a,l

:iil.\r

rrr

rv

l i)r

tlrolrrtv;ra

3arr r,r na,r r r'rt: <iropvy;r

r,r

Pit,nttot:r't;r t,rrr.rt:'r'r,

IlLr:li),\rir)'t't,tx

drolrv.v;t

f)il,nrr<l<:rr;rr,rro(i'r'r)

:Ja,r-rr{rrv'r'r,rx

rlxrllv-v"'r

Qoll riut r, r r

r,r i'r n r,r rl).;t tlxrl-rrr v-;r r,r

3.;rcvcr lltllrrra,H'r'(x)pr'ra

i)x r;u

r;tr,., rt:r rr-r r r,rr:

rllolrr r.),,'r r,r

H(

'||l(.

lOItIIrt ltl'l( l(il.Jltlt;t,lItlii

Hcrrlro'r'H no1.rc(r

H

r!(x!

v l r())ncc r rur

<lxrlrrry,;t

\l t to>r<ct:'r'tro

<].ttl1;rr.r-'.;r, r

{

r:li)

rr.rc r uoo

o'r

/r

U).v

l'(.r'o

\

l

r

ro)licc'r'rlil

tlxrpr.r,_v.,

t

fftr; r

t roc ucnl x)'r'n rx)l)c,

rnx)c

l)il(:n

r nix)r r uc

NIt-p1c.;r

r,

:ri

IcrlcI n

a,l)I ror.i lct.l1.lr.r Ir

61

OI

6.)

62

63

64

100

109

116

120

121

t29

r42

Hour:

r65

\TKA3{f

E.IIb'IEOPF]N

I

16

20

2I

22

26

2-

27

65

66

69

7l

72

105

112

116

t22

L26

t2'

727

128

tqz

l+J

144

pa,iltlriir

Co.'yr1->riitrr

nc

O

r<or

t't,ro t

r t<til'ril,

l(tt3't

rlott Kt\tt H.

tt

M

IIil

t'l Ka

I

{il

l'l ll

H O'rI)!{

l\all

Ir

lr

pilt}l IOCI'I

jl

blt

bl x

q)opr'lyil

06

o'rpu tltr,tt

tl H'

Icpc3

rltlot'l(:'i'llct

I ll

y

lo

4x)p.\{yil"v

3rr,rott,iutofr

c'r'rlcrI

Iloct tt

0

pcly"'1111-111ur{ lrl4jlc

tlxlprty";l

t'1

O

'r

ox<.4ec'rucIrIIoti

ttc't

t'tttIIoc'l

H

gitCI'tCll'l'it,pllOii

7\lt3blOl

I Kt{x

lt

O'r'orxlec't'rcltltoii

ito)t(l

to(:'t'H

gircxtcIlf

il,pHofi

xtltt't'tolIxt

1t'tI

O't'oN,itec'r'trctl

Ilclil

Hc'l'Ir I

I I loc'l'tr

rloprry;rr,r,relrc:t

I(H(D

O'r'ox.itttc'l'reltltoii

ito)'t(rtoc'l'l'l

<!opvy;rr'r

.rcpc:r

AH(P

O

cu:r3

Ltrrt.rt l,r t{

Kltit,t t'l'()J)arr}I

pilli I I o(:14";l

I't I I'l x

<)o1rr,ry"ir

12.2

I

O

xotrr,rc,tttitltrt{,

lt}til'llottl(l{lI11,

tll'ltulltl(il'llrrt'l

I

tt,r'r'1-lltt1tr,trnil

pirlittocH.itrllt,tx

dloplry;t

.ilol'lll(tl

ilpcl{ri

Kirfol,

13.1

|

0

rrpltrleTlcrrHu

dx)p:\,I)'ilt,t

li

ttpc;ltrirlltrttrloilr

I

uo1.mtr,;lt'tttlit

(xtPvc

14.1

I

()6

,16rrlcrrrtr'!rt{}4oc'rt't

:li}r.tKttv tl,lx

{rtlprt.v-;t

c KBaIr'roIJ:l,N{M

cyIIlcc'l

llolJi}lI

tlt{

l-{.2

|

()fi,16rrtclrrit'!rrt\roc1H

lil\{Ktlvt

I'tx

<lxrlrrry,r

c KtJil.tt'ropa\{I{

06llIIto(:'f}l

Cnoi:ic'r'na

nr,nlo/{nr4oc'rl4

B,

- Bt

Tcopcrrtr,

/'{el\y

K t{tt

14

O6pilruar

K'rL'opc\tc

.i[cl!yKltltfi

06

o r

1t.lt

txc

{xr1rr,ry.'

I

tt(;' tl4c.i

lcl I 14rt

ItIncKa:llJBil,il

n

ii

26.t

IT<*r1lt:ua

fcrtrt;tl

o ltoittto't(l

I

-

L:t H

t'tc'| I h('.:lcl

I tttl

l!t'l

(:

liil:JlJllal

| | ll ll

O6ptr;r'r

ran

K'rt:opcr.tc

fc;1c;t

a o

.l

loil I

l()'l o

)Ql

H

L4C\ lUC. itc:ll

H fl

rllnC Ka;l

LI lJil,l

I H tl

O

rt.r.,itrotc

IIB

Ir rrtr,rpoxort

c\{l}lcilc

O

ru.l;ttt<-r't'c

['IB

rl

y:,txorr

crlt,lcilc

()6

rtc ln

r r r roc'r't'r

lcopc\{

ltLutnclt t

lapl ttl

tl

'r'coplil,

B MoACitttx

3'l'0fr

'lL\)pllu

()6

ttc'r'u r t t

toc'rt'r

t] \tol

(eJtlr x

<lxrglry;r,

lrf,f llo/u.t\lLrx

H:J col]ol{vIItloc'l]!l

I

Tcopr:ntr,

lc;1c;ra

o

Itoiltlo'tc

Houcp

146

.95

:

(Vz)(Vu)(u+

r'

:

(u*

r)');

,Sc,(Vu,)(2.0:0);

Sz

,

(Vu)(Vu)(zut

:'t!,.u

4-

u);

Ss :

z(0)

n

(Vr)(a(t)

-+

a(t'))

-+

(Yz)a(z).

3anrcs

,Sg npe..{craBJrteT

co6oit,

pa3yrvreeTcf,

cxe}ry

aKCrroN{,

B

xoropofi

NroN(er

yqacrBoBart

lro6as

$oprrryna

et. 3To creu4a

&Kcu-

o.n ur-t)yrcr4uu.

O6rr.{Ho

r{HAyKrlras

rlp}rr{eHrercx

s

$oprrraJrbHbrx

BbrBoAax

B Brr-

4e

HeKOTOpoTO

CleUI4aJILHOro

[paBHJIa

BT,IBOAa:

2r(0); (Vt)(q(f) -+

2r(i'))

(vz)u(z)

!,aunoe

npaBrrJro

BErBoAa

Hocrrr

Ha3Banrre

npasuJro

undyrcquu

(ilI{)

flpu

sror'r,

.rro6rr

AoKa3arb

ls (Vz)u(z),

rpe.qBaprrre.rrbao

.uoKa3brBaror

(A) :

F5

z(0);

(B)

:

rs

(Vr)(z(r) -+

z(r,)).

flprarvrep

32.L

lorcararnb

:

Fs

(Vr)(Vy)(Vz)((r

:

y)

+

(r

*

z

:

y

*

z)).

flponegeu

AoKa3areJlbcrBo)

KitrK

roBopsr,

"va4yxqlreft fio

z,'

,

vro

$opua.nbno

cBoAr{Tcfl

K npnrreHeHrto

1ltr4.

Paccuorprarrr

$opr'ryny

u(z):

(*:a)

-+

(r*

z

-y*

z).

(A):

flonax<eu

Fs

z(0). ro ecrr

F5 (*

:

il-+

(r*

g

:

y*0).

!"rra

sroro:

1. floxaxervr?

rrro

x;

:

y

I

r

*Q

:

y

*

0

:

1-t7

l$1

82

233

\34

155

86

8z

(Vrr,)(u+

0

:

z) axcHorra,Sl

r*0:r

f:y

r*0:lJ

o'

-L

O

-

tt

y

I

v-y

y:y*0

lsr;

liK

AOrryqeHI{e

a2;l$3;

TP

t1;

fIK

!$5;

CP

*49:y*0

l8a,186; TP

2. floxa:ano:

,r:

yt

r-t0:'!J

f

0.

llo c.ilell(:Tnul{)

l rcolltttitl't

AeAyKIInIl:

Fs

(:r

:

y)

-+

(:r

*

0

:

y

+

0)

(B):

"{oxaxerr

Fs

(Vt)(z(t)

-+

s(tt),

ro

ecrl,

F5

(Vt)(((;r

:

y)

+

(r*t:

y+f))

-+

((;r

:

y)

-+ (rt-t':

tr*t'))).

1. floxa;Nen,

vto

(r

:

U)

+

(r*t

:

'y*t),

r

:

tl

|

'r*t,t

:'rt*tt:

281

: n:y /{on}tlleTrlle

Bzt

(,

:

y)-+ (z*

I

:

y

*t)

.qorylqel{I{e

lss:

1x,lt:y*t

ls1'':*2; fI3

rB+ :

(Vu)(Vu)((rt

:

rt)

-+

('u'

:,,'))

a,xt:nonrtr

5'2

rab :

(r

-t

t)'

:

(y

*

t)'

8,r,23r;

nK3

!86

:

(Vz)(Vu)(u

*

u'

:

(u

*,u)')

trxcrrorra 55

r37.s:

rltt:(r*l)'

to,zi

(lIK)'

139

: r

*

t'

:

(y

-t

t)'

l$.-r,, 85;

TP

!3ro,r1

:

A*tt:(y+t)'

Eo,toi

(nK)'

gt2:

fu+t)=y+t'

Brr;

CP

tsrs:

a{tt:y*t'

el;lsrz;

TP

2. floxaeano:

(r: y)

-+

(:r*t:!!*t),

r:'!J

rs raf,t

:'y+t'.

166

OTIIAB,IIEHI,{E

NPE,U,ICJIOBI{E

BBEAEHI{E

ll_{BA

rrr.

@oPr\rA,ribHbrE

AI{CLIOMATUI{ECKHE

fEOPI,III

$15

Iiax

71rtr<atr,rnaro'l.clr.co1_xr:r.rr,r./.

. .

.

$16

!c.'1,vr<'r'rlrru,re

cpcll(:'rrit

jlor(i.|,:liYfc.ir

r,c'f

tla, .

$17

(Doprriuu,rrr,rfi

tlnrr.,/'t

.

$

18

Hex<t'rupl,rc

cur)rit:'r.na

rr,nto/lH

\.toct.u

(:'r'p.

3

:

10

11

15

19

22

26

$1

lj2

3t

6.1

$6

44

49

60

64

|,IIABA

I AJI|EBPA

BbICKA3bIBAH}Ifi

Br,rcxiur,rnarr

HA

14

jtorw

rccKnc

orcl)a,rlnr.l.

.

@o1xry;rt,r

a.lu.c6pr,l

rrr,rcKajlr,llaluri4

.

. . .

Ptrrrr

rocn;r

r, r roc'r.r,

rlnp.ra1,.rl

tu r r.e6pr,r

n bl

ctia3

tt rJat

I H fr .

itlxrll

t Lt,;r{)

I,I{

K

l,l

3arorr

21rofi

c'r.rlet

I rroc'r'tl

Hoprr

a;r r,r

l

t,rc

<lropv

r,r

rlro1xr.r..,r

a.;r

r r:6pr,r

lll,tct(iutr,nt?).rf

Hit

. .

.

. . .

flpuvcrtclruc

uoplia,rr,nrlrx

<lroprr

.

. .

BOtlPOCbl

?t

3.4.I.A,Htrrr

ilJra c.{t\40cT()5rTE.IIbAoir

pesorH

.

YTIPAX{HEHL/|fl..

.

t"rIABA

II.

JIOfI,II{A

IIPEA}IKATOB

.

. .

Ilpe,,'Ilrr<illr,r

r.r orcpartnn

rivt

r,rlti

.

. .

.

Krarn'o1.rt,r.

Crxr6o71r

t r,lr:

r,

crrr:lil,r

I

u r,rc

tr('p('Neilrilnc

.

;

tDopr.la.rrr,rrr,rfi

x:lr,rx

I ltol)n.;Uiil.

Cct.rtrt'r'nxa

crcr{Ha-.r

r,rt

Llx

H

.;tolr

rrccr(lrx

(:r4.v

lroilotr

(popMiur

Lllot'o

r3brr{i.}

I

ltopl/lKa.

Hcxo'rr

l1l

r,tc

rJH71

rn.

(l)oJ)v.v.;r

j

rolr,r

r(

r r

npc-:lHKafot,

ttlz

Pa"rrrocrurr,rrocr.r,

d;oJxl.y;r

jtot,uKH

nJ)cllHl(itr.otr

. .

.

. .

ii

13

fl-p^qp:apr:urra,r

rol)rriun,rax

drol.rvir

<|uJlry;r

rror.r.lKr.l

flpcl{nKax\)lr

!j

14

llpo6;re:vrir

i)il:lJ)L.lrHN{octn

r

jtort.t

r(o

I l

J)C/1fl

t(iYl'(.rti

32

t+

to

.+z

57

58

!je

$10.

ii-11

i9*ntli,rlrtt"',+#Ji{tloripABorbr

YNPAX{HEHtr,{'I

tl

7',7

81

90

93

100

105

167

$1e

lj20

$21

\2e

$30

$31

$32

A xcttor.r zr:t'u, tc{:

K tt t:t ltct'o71.

9. rt'rrcrr ritprrrne lcol)ulr

I,Ic.u,rc.;rcrrrlr:

nt,rcKittlrnarr n rrr

Kilt(

Jlof [.t'tccKaill

copH'|

Tcopcva,rlc/{y K rlr4

r.r

r:(ilt

l{C(ll{Cilellflfl

IJI'lCKi}*llnllil,ttttti

. . .

522

Sxunra;rcrlr-rroc'r'1,

dropvy.;r

H{'rlt(.tcnHrt M,t(t(iIJr,utalttii. .

.

. . . . .

$23

Octror*rr,rc'l'l)c6ouit,n!tl K a,Kcrouivl'rr(c

lle,i\yKTn

nH r,rx leo1,rr.r

ii

$24

Hcnpo'r'nuoperrfir]oc'r'r,

zlKcuoNr I{B

. . .

.

$25

Hc3ilrllcl.rrrc-rc'rr, :l,Kcrlorr

I,IB

. . . . .

. .

fi26

llo.;nrrl'r'il,

rrKct4ou l{B

. . .

lj27

l-copclra, le;1c.;rr

o

rroirrol'c

ll.;tt

IIC'lHC-ilClll'lH llI'lCKi);lltltttttllfi . .

$28

Ctra:;t,

<lrop.vturLlrr,tx

n

(:ollcpxi'rirc.irr,nrrx

ttott

g't

vtft,rr

()f

14

K H t]LIcKil,:t IrI ni'l,ll u ii. A I t a,;r n

:t

.telLvK'l'H

tl I I l,lX

1rfl,CCy>x;ltlIt

tl l'i

Ptlt: t t t tt

pe

t

u o H c

(

| Hc.; Io I I Lr l n r,l t,: t< i't,

l

t,t r

it

t t l r ti .

I4c'r rtc-icrrucl rrpLy(uKii*ror]

I4c:'urc;rcrr

nc

rrJ)c/ln

r(i[ior]

c

I)il.trcilcl

tx)It

N l ii'r'c r r :tt l t, r cr:

rc{ c

ll-;

r

c

l{

c

r t 1

?)

l

)

r r )r c

'r

cUl)il

lt H 14 x \t()i

lc..

il

l

(Dolrrrtur

r,r ra,r a,pu$rc

lr.t rtr,

IIil'I.\'l)iL ILilLrx'rilco. I

BOnI)OCF,l I1

3,\;f.\HIlfl

..

IiIfl

C.A.NIOCTOflI'E.'

t

bHOl I PA EOTl,l

)'IIPA)t<HnHltfl . . .

}TT{BBHA'I JII,ITEPAT}TPA

|I()

K),'PC]}'

AOIIO.IIHI,ITE.II

b H Atl,n I,ITEPATyPA .

.II,ITEPATYPT\

A.[fl

]'r-IAIUIIXCfl . . .

\rlir\3ATE,ilb

OIIPEAE,IIEHIII,t

}.KA3ATE.IIb TEOPE\.I

106

111

TI2

116

r2{)

122

t') |

t26

129

1:l1

1tt

Iti)

138

1 "i0

14;

149

I5ir

162

163

164

r65

Пайсон Б.Д. Математическая логика

Подождите немного. Документ загружается.