شركت مهندسي ارتباطات پيام مشرق، نرم افزار كتابخانه

1)

An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities

پديدآور: Boole, George
ناشر: Dover Publications [New York]
سال نشر:
1397/5/3

ويرايش نسخ

2)

Mathematical logic

پديدآور: Ershov, Yu. L.
ناشر: Moscow :Mir publishers
سال نشر:
1395/8/11

ويرايش نسخ

3)

A tour through mathematical logic

پديدآور: Wolf, Robert S
ناشر: Mathematical Association of America
سال نشر:
1393/2/25

ويرايش نسخ

4)

Introduction to mathematical logic

پديدآور: Mendelson, Elliott
ناشر: Wadsworth & Brooks/Cole Advanced Books & Software,
سال نشر:
1390/11/5

ويرايش نسخ

5)

Perspectives on the history of mathematical logic

پديدآور:
ناشر: Birkhuser
سال نشر:
1390/8/29

ويرايش نسخ

6)

Logic

پديدآور: Earle, Nick
ناشر: Macmillan
سال نشر:
1390/7/23

ويرايش نسخ

7)

Discrete mathematics and its applications

پديدآور: Rosen, Kenneth H
ناشر: McGraw-Hill Higher Education
سال نشر:
1388/5/21

ويرايش نسخ

8)

Discrete mathematics

پديدآور: Ensley, Douglas E
ناشر: Wiley
سال نشر:
1388/5/21

ويرايش نسخ

9)

A mathematical introduction to logic

پديدآور: Enderton, Herbert B.
ناشر: Academic Press
سال نشر:
1388/5/21

ويرايش نسخ

10)

Mathematical logic

پديدآور: Monk, J. Donald(James Donald)
ناشر: Springer-Verlag
سال نشر:
1388/5/21

ويرايش نسخ

11)

Proof in geometry

پديدآور: Fetisov, A. I
ناشر: Mir publishers
سال نشر:
1388/5/21

ويرايش نسخ

12)

An outline of set theory

پديدآور: Henle, James M.
ناشر: Springer-Verlag
سال نشر:
1388/5/21

ويرايش نسخ

13)

How to read and do proofs

پديدآور: Solow, Daniel.
ناشر: J. Wiley
سال نشر:
1388/5/21

ويرايش نسخ

14)

Symbolic logic

پديدآور: Copi, Irving M.
ناشر: Macmillan
سال نشر:
1388/5/21

ويرايش نسخ