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 XUTGing vin khng xut

II. TI LIU THAM KHO TH VIN XUT1. Hi & p logic hc i cng : Dnh cho hc sinh v sinh vin cc trng i hc,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

2.

3.

4. 5.

6. 7.

8.

9.

1

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

2

24. Lgic hc i cng / Vng Tt t . - In ln th by c sa cha .- H. : i hcQuc 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

3