สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 24 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers.
ชื่อผู้แต่ง	Rodgers, Nancy 1941-.
พิมพลักษณ์	New York : Wiley, 2000.
เลขเรียก	QA9 R7264 2000
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยอุบลราชธานี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovak...
พิมพลักษณ์	New York : Springer-Verlag c1992.
เลขเรียก	QA9.A1 L8325 1992
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Bridge to abstract mathematics : mathematical proof and structures / Ronald P. Morash.
ชื่อผู้แต่ง	Morash, Ronald p.
พิมพลักษณ์	New York : McGraw-Hill, c1991.
เลขเรียก	QA9 M74 1991,511.3
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยสุโขทัยธรรมาธิราช

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to mathematical logic / Elliott Mendelson.
ชื่อผู้แต่ง	Mendelson, Elliott.
พิมพลักษณ์	Boca Raton : CRC Press, c2010.
เลขเรียก	QA9 M4 2010
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยนเรศวร

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and discrete mathematics [electronic resource] : a concise introduction / Willem Conradie, Val...
ชื่อผู้แต่ง	Conradie, Willem.
พิมพลักษณ์	Chichester, West Sussex, UK : Wiley, 2015.
เลขเรียก	QA9,511.3 C754L 2015
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา มหาวิทยาลัยพะเยา มหาวิทยาลัยมหิดล มหาวิทยาลัยราชภัฏเชียงใหม่ มหาวิทยาลัยราชภัฏเทพสตรี มหาวิทยาลัยราชภัฏเลย มหาวิทยาลัยอุบลราชธานี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to logic / Irving M. Copi, Carl Cohen.
ชื่อผู้แต่ง	Copi, Irving m.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice-Hall, c1998.
เลขเรียก	BC108 C6 1998,160 Co783I 1998 22
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยศรีนครินทรวิโรฒ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Classical and fuzzy concepts in mathematical logic and applications / Mircea Reghis, Eugene Roventa...
ชื่อผู้แต่ง	Reghis, Mircea.
พิมพลักษณ์	Boca Raton : CRC Press, c1998.
เลขเรียก	QA9 R357 1998
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic, sets, and recursion / Robert L. Causey.
ชื่อผู้แต่ง	Causey, Robert l.
พิมพลักษณ์	Boston : Jones and Bartlett, 1994.
เลขเรียก	QA9 .C347 1994,511.3 C374L
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยวลัยลักษณ์

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Sets, logic and categories / Peter J. Cameron.
ชื่อผู้แต่ง	Cameron, Peter j.
พิมพลักษณ์	London : Springer-Verlag, 1999.
เลขเรียก	QA248 C34 1999,511.3 C182S
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยราชภัฏเชียงใหม่ มหาวิทยาลัยวลัยลักษณ์

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical logic : a course with exercises. Pt. 1, propositional calculus, boolean algebras, pr...
ชื่อผู้แต่ง	Cori, Rene.
พิมพลักษณ์	Oxford ; New York : Oxford University Press, 2000.
เลขเรียก	QA9 C742513 2000
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer.
ชื่อผู้แต่ง	Schwichtenberg, Helmut 1942-.
พิมพลักษณ์	Ithaca, NY : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2012.
เลขเรียก	QA9.54 S39 2012
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีสุรนารี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to logic / Irving M. Copi.
ชื่อผู้แต่ง	Copi, Irving m. (irving marmer)
พิมพลักษณ์	New York : Macmillan, c1978.
เลขเรียก	BC108 C6 1978,160 Co
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยศิลปากร มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา มหาวิทยาลัยราชภัฏนครศรีธรรมราช มหาวิทยาลัยราชภัฏสกลนคร มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for mathematics and computer science / Stanley N. Burris.
ชื่อผู้แต่ง	Burris, Stanley.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice Hall, c1998.
เลขเรียก	QA9 B86 1998,511.3 B971L 1998
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Computation as logic / Rene lalement ; translated by John Plaice.
ชื่อผู้แต่ง	Lalement, Rene.
พิมพลักษณ์	Paris : Masson ; Hemel , Hempstead ; Englewood Cliffs, NJ : Prentice Hall, c1993.
เลขเรียก	QA76.63 L3513 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical logic for computer science / Mordechai Ben-Ari
ชื่อผู้แต่ง	Ben-ari, Mordechai
พิมพลักษณ์	London : Springer London, c2012
เลขเรียก	QA9 BEN 2012
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยวลัยลักษณ์

1
2

ส่งข้อเสนอแนะ/ปัญหา