TRNG I HC LT

TRUNG TM THNG TIN TH VIN

DANH MC TI LIU THAM KHO

HC PHN: Nhp mn L gich hc

M HC PHN: NV107

I. TI LIU THAM KHO GING VIN XUT

Ging vin khng xut

II. TI LIU THAM KHO TH VIN XUT

1. Hi & p logic hc i cng : Dnh cho hc sinh v sinh vin cc trng i hc,

2.

3.

4.
5.

6.
7.

8.

9.

cao ng hc mn logic hc v logic hc i cng / Nguyn Anh Tun . - H. : i

hc Quc gia, 2010 .- 237 tr. ; 21 cm .
o S nh danh: 160 NG-T
o ng k c bit: 10A021672,10A021673,10M094302-10M094304
Reasoning and Logic / Richard B. Angell . - New York : Appleton-Century-Crofts,
1964 .- xiv, 625 p. ; 24 cm .
o S nh danh: 160 AN-R
o ng k c bit: 10L000656
Logic - phi logic trong i thng v trong php lut : Ti liu c thm v mt s
bi tp phc v cho vic hc tp mn logic hc / L Duy Ninh bin son . - Tp. H
Ch Minh : i hc Lut, 2009 .- 144 tr. ; 21 cm .
o S nh danh: 160 Log
o ng k c bit: 09A020727,09A020728,09M092815-09M092817
Lgc hc / V Ngc Pha . - H. : Khoa hc v K thut, 2008 .- 227 tr. ; 21 cm .
o S nh danh: 160 VU-P
o ng k c bit: 08A019499,08A019500,08M087748
Logic hc i cng / Vng Tt t . - n bn mi nht - c sa cha b sung .H. : Th gii, 2007 .- 223 tr. ; 21 cm .
o S nh danh: 160 VU-D
o ng k c bit: 08A018866,08A018867,08M086805-08M086807
Lgch hc / Phan Trng Ho . - Hu : Thun Ho, 2003 .- 196 tr. ; 21 cm .
o S nh danh: 160 PH-H
o ng k c bit: 07M083160-07M083164
Gio trnh logic hc i cng / Nguyn Nh Hi . - H. : Gio dc, 2007 .- 227 tr. ;
24 cm .
o S nh danh: 160 NG-H
o ng k c bit: 07A017833,07A017834,07M082508-07M082510
Gio trnh lgic hc hnh thc : Chng trnh bi dng nghip v s phm bc II /
Nguyn Th Xun Thanh . - H. : H ni, 2006 .- 116 tr. ; 24 cm .
o S nh danh: 160 NG-T
o ng k c bit: 07A017465,07A017466,07M081510-07M081512
Critical thinking / Brooke Noel Moore, Richard Parker . - 7th ed .- Boston, Mass. :
McGraw-Hill, c2004 .- xxi, 485, A1-49, G1-7, E1-28, C1-3, I1-5 p. : ill. ; 24 cm .
o S nh danh: 160 MO-B
o ng k c bit: 07C008822,07C008823

10. The power of logic / C. Stephen Layman . - 2nd ed .- Mountain View, Calif. :
Mayfield Pub., 2001 .- ix, 589 p. ; 24 cm .
o S nh danh: 160 LA-C
o ng k c bit: 06C007079
11. Luyn l tr : Thut suy lun trong i sng hng ngy / Nguyn Hin L . - H. :
Vn ho - Thng tin, 2003 .- 206 tr. ; 19 cm .
o S nh danh: 160 NG-L
o ng k c bit: 06A014981,06A014982,06M075236-06M075238
12. Lgic hc i cng / Vng Tt t . - In ln th XI .- H. : i hc Quc gia,
2004 .- 180 tr. ; 21 cm .
o S nh danh: 160 VU-D
o ng k c bit: 06M074123-06M074132
13. Nhp mn logic hnh thc & logic phi hnh thc / Nguyn c Dn . - H. : i hc
Quc gia, 2005 .- 303 tr. ; 21 cm .
o S nh danh: 160 NG-D
o ng k c bit: 05A013882-05A013884,05M071691-05M071697
14. Lgic hc i cng / Vng Tt t . - In ln th XI .- H. : i hc Quc gia,
2004 .- 180 tr. ; 21 cm .
o S nh danh: 160 VU-D
o ng k c bit: 05A013749,05A013750,05M071269-05M071286
15. Nhp mn logic hnh thc & logic phi hnh thc / Nguyn c Dn . - H. : i hc
Quc gia, 2005 .- 303 tr. ; 21 cm .
o S nh danh: 160 NG-D
o ng k c bit: 05A014410-05A014412,05M073301-05M073307
16. L gch hc bin chng / E.V. ILencov; Nguyn Anh Tun dch . - H. : Vn ho Thng tin, 2003 .- 629 tr. ; 19 cm .
o S nh danh: 160 IL-E
o ng k c bit: 05A013398,05M069866-05M069869
17. Lch s logic hc thi Tin Tn / H Thch; Cao T Thanh dch . - Tp. HCM : Tng
hp, 2004 .- 268 tr. ; 19 cm .
o S nh danh: 160 HO-T
o ng k c bit: 05A012575,05A012576,05M066535-05M066537
18. Gio trnh lgc hc / L Don T, T Duy Hp, V Trng Dung ng ch bin . Ti bn ln th nht .- H. : Chnh tr Quc gia, 2004 .- 335 tr. ; 21 cm .
o S nh danh: 160 Gia
o ng k c bit: 05M065509-05M065518
19. Gio trnh lgc hc / L Don T, T Duy Hp, V Trng Dung ng ch bin . Ti bn ln th nht .- H. : Chnh tr Quc gia, 2004 .- 335 tr. ; 21 cm .
o S nh danh: 160 Gia
o ng k c bit: 04B028652-04B028654,04M063561-04M063567
20. L gch hc bin chng / E.V. ILencov; Nguyn Anh Tun dch . - H. : Vn ho Thng tin, 2003 .- 629 tr. ; 19 cm .
o S nh danh: 160 IL-E
o ng k c bit: 04B027101,04B027102,04M060694-04M060696
21. Lgc hc / Phan Trng Ho . - H. : Thun Ho, 2003 .- 196 tr. ; 21 cm .
o S nh danh: 160 PH-H
o ng k c bit: 04B026934,04B026935,04M059970-04M059972
22. L gch hc bin chng / E.V. ILencov, Nguyn Anh Tun dch . - H. : Vn ho Thng tin, 2003 .- 629 tr. ; 19 cm .
o S nh danh: 160 IL-E
o ng k c bit: 04B026815,04M059759,04M059760
23. The language of first-order logic : including the Mackintosh version of Tarski's
world 4.0 / Jon Barwise & John Etchemendy . - 3rd ed., rev. & expanded .Stanford, Calif. : Center for the Study of Language and Information, c1993 .- xiv,
313 p. ; 24 cm. 1 computer disk .
o S nh danh: 160 BA-J
o ng k c bit: 02C003549

24. Lgic hc i cng / Vng Tt t . - In ln th by c sa cha .- H. : i hc

Quc gia 2000 .- 180 tr. ; 21 cm .
o S nh danh: 160.711 VU-D
o ng k c bit: 02B021885,02B021886,02M048145,02M048146
25. Logic hc / T Duy Hp, Nguyn Anh Tun . - Tp. HCM : Nxb. Tp. HCM, 2001 .- 308
tr. ; 20 cm .
o S nh danh: 160 TO-H
o ng k c bit: 02B021572,02B021573
26. Lgic hc ph thng / Hong Chng . - H. : Gio dc, 1997 .- 160 tr.; 20 cm .
o S nh danh: 160 HO-C
o ng k c bit: 02B020519-02B020523,02M047046-02M047050
27. L gic hc i cng / Vng Tt t . - H Ni : i hc Quc gia , 1997 .- 180 tr.;
20 cm .
o S nh danh: 160 VU-D
o ng k c bit: 01B019193-01B019197,01M04636601M046368,01M046370
28. Practical reasoning in natural language / Stephen Naylor Thomas . - New Jersey :
Prentice-Hall , 1986 .- 468 tr.; 24 cm .
o S nh danh: 160 TH-S
o ng k c bit: 91B018186
29. Nhp mn logic hc / V Ngc Pha . - H Ni : Gio dc , 1997 .- 175 tr.; 20 cm .
o S nh danh: 160 VU-P
o ng k c bit: 97B007918-97B007920,97M025508-97M025554
30. Logic hc i cng / Vng Tt t . - H. : i hc Quc gia , 1997 .- 180 tr.; 21
cm .
o S nh danh: 160 VU-D
o ng k c bit: 97B007274-97B007276,97M024429
31. Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference /
Pearl Judea . - San Francisco : Morgan Kaufmann , 1988 .- X, 552 tr.; 23 cm .
o S nh danh: 160 PE-J
o ng k c bit: 99C002064
32. Tm hiu logic hc / L T Thnh . - TP.HCM : Tr , 1993 .- 192 tr.; 19 cm .
o S nh danh: 160 LE-T
o ng k c bit: 94B000045,94B000046,94M019705-94M019707