หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Logic, Symbolic and mathematical
ปีที่พิมพ์
2023 (1)
2022 (3)
2021 (1)
2020 (2)
2019 (2)
..more
ประเภทสื่อ
Serial (2)
Book (540)
ภูมิภาค
ภาคใต้ (52)
ภาคตะวันออกเฉียงเหนือ (100)
ภาคเหนือ (93)
ภาคกลาง(กรุงเทพและปริมณฑล) (443)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (22)
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (3)
มหาวิทยาลัยราชภัฏอุตรดิตถ์ (1)
มหาวิทยาลัยพะเยา (10)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
..more
ภาษา
tha (1)
man (1)
ita (2)
ger (1)
eng (536)
ผลการค้นหา
Found:
545
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
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 logic / Elliott Mendelson.
ชื่อผู้แต่ง
Mendelson, Elliott.
พิมพลักษณ์
Boca Raton : Chapman & Hall/CRC, 2001.
เลขเรียก
QA9 M404i 2001
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Mathematical logic / George Tourlakis.
ชื่อผู้แต่ง
Tourlakis, George j.
พิมพลักษณ์
Hoboken, N.J. : Wiley, c2008.
เลขเรียก
QA9 T6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยมหิดล
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Mathematical logic for computer science / M. Ben-Ari.
ชื่อผู้แต่ง
Ben-Ari, M., 1948-
พิมพลักษณ์
New York : Prentice Hall, c1993.
เลขเรียก
QA9 B456
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and proof / Marvin L. Bittinger.
ชื่อผู้แต่ง
Bittinger, Marvin l.
พิมพลักษณ์
Reading, Mass. : Addison-Wesley, 1972.
เลขเรียก
QA9.54 B5
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Introduction to mathematical proofs : a transition / Charles E. Roberts.
ชื่อผู้แต่ง
Roberts, Charles e.
พิมพลักษณ์
Boca Raton : CRC Press, c2010
เลขเรียก
QA9.54 .R63 2009
ห้องสมุด
มหาวิทยาลัยรามคำแหง
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยมหิดล
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Mathematical logic : a course with excercises part I : propositional calculus boolean algebras predi...
ชื่อผู้แต่ง
Cori, Rene.
พิมพลักษณ์
New York [NY] : Oxford University Press, 2000
เลขเรียก
511.3 C798m
ห้องสมุด
มหาวิทยาลัยธุรกิจบัณฑิตย์
10
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to mathematical logic / Richard E. Hodel.
ชื่อผู้แต่ง
Hodel, Richard e.
พิมพลักษณ์
Boston : PWS, 1995
เลขเรียก
QA9 H62 1995,512 An543F 1995
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยทักษิณ
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยราชภัฏเลย
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Symbolic logic
ชื่อผู้แต่ง
Copi, Irving M
พิมพลักษณ์
London : Macmillan , (c.1967)
เลขเรียก
511.3 C783S 1967
ห้องสมุด
มหาวิทยาลัยเชียงใหม่
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Symbolic Logic / Irwing M. Copi.
ชื่อผู้แต่ง
Copi, Irwing m.
พิมพลักษณ์
New York : Macmilan, 1979.
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Symbolic logic : an introduction / Richard H. Thomason.
ชื่อผู้แต่ง
Thomason, Richard H.
พิมพลักษณ์
New York : Macmillan, [1970]
เลขเรียก
BC135 .T48
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Symbolic logic : an introduction / [by] Richmond H. Thomason.
ชื่อผู้แต่ง
Thomason, Richmond H.
พิมพลักษณ์
[New York] : Macmillan, [c1970]
เลขเรียก
164 T463S
ห้องสมุด
มหาวิทยาลัยเชียงใหม่
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Symbolic logic : syntax, semantics, and proof / David W. Agler.
ชื่อผู้แต่ง
Agler, David w.
พิมพลักษณ์
Lanham, Md. : Rowman & Littlefield, c2013.
เลขเรียก
BC38 A35
ห้องสมุด
มหาวิทยาลัยศิลปากร
1
2
3
4
5
6
7
8
9
10
>>
>>|
Loading...
ส่งข้อเสนอแนะ/ปัญหา