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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic logic / I.M. Copi.
ชื่อผู้แต่ง	Copi, Irving m.
พิมพลักษณ์	New York : Macmillan, [c1973]
เลขเรียก	BC135 C634s 1973,164 C783S
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic logic / Irving M. Copi.
ชื่อผู้แต่ง	Copi, Irving m.
พิมพลักษณ์	New York : Macmillan, [1973]
เลขเรียก	BC135 .C6 1973
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic Logic / C.I Lewis & C.H. Langford
ชื่อผู้แต่ง	Lewis, Clarence irving
พิมพลักษณ์	New York : Dover, c1959
เลขเรียก	QA9 LEW 1959
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยมหิดล

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to mathematical proofs : a transition / Charles E. Roberts.
ชื่อผู้แต่ง	Roberts, Charles e.
พิมพลักษณ์	Boca Raton : CRC Press, c2010
เลขเรียก	QA9.54 .R63 2009
ห้องสมุด	มหาวิทยาลัยรามคำแหง มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยมหิดล

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to mathematical logic / Elliott Mendelson.
ชื่อผู้แต่ง	Mendelson, Elliott.
พิมพลักษณ์	Boca Raton : Chapman & Hall/CRC, 2001.
เลขเรียก	QA9 M404i 2001
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical logic / George Tourlakis.
ชื่อผู้แต่ง	Tourlakis, George j.
พิมพลักษณ์	Hoboken, N.J. : Wiley, c2008.
เลขเรียก	QA9 T6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยมหิดล

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical logic for computer science / M. Ben-Ari.
ชื่อผู้แต่ง	Ben-Ari, M., 1948-
พิมพลักษณ์	New York : Prentice Hall, c1993.
เลขเรียก	QA9 B456
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and proof / Marvin L. Bittinger.
ชื่อผู้แต่ง	Bittinger, Marvin l.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, 1972.
เลขเรียก	QA9.54 B5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain...
ชื่อผู้แต่ง	International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th : 2000 : Madrid, Spain)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	006.3 I61Ai
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic logic
ชื่อผู้แต่ง	Copi, Irving M
พิมพลักษณ์	London : Macmillan , (c.1967)
เลขเรียก	511.3 C783S 1967
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic Logic / Irwing M. Copi.
ชื่อผู้แต่ง	Copi, Irwing m.
พิมพลักษณ์	New York : Macmilan, 1979.
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic logic : an introduction / Richard H. Thomason.
ชื่อผู้แต่ง	Thomason, Richard H.
พิมพลักษณ์	New York : Macmillan, [1970]
เลขเรียก	BC135 .T48
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic logic : an introduction / [by] Richmond H. Thomason.
ชื่อผู้แต่ง	Thomason, Richmond H.
พิมพลักษณ์	[New York] : Macmillan, [c1970]
เลขเรียก	164 T463S
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

14

ประเภทสื่อ	Serial
ชื่อเรื่อง	Journal of mathematical logic
พิมพลักษณ์	Singapore : World Scientific Publishing, 2001-
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to symbolic logic / John L. Pollock.
ชื่อผู้แต่ง	Pollock, John l.
พิมพลักษณ์	New York Holt, [1969]
เลขเรียก	BC135 P68
ห้องสมุด	มหาวิทยาลัยขอนแก่น

1
2
3
4
5
6
7
8
9
10
>>
>>|

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