หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยนเรศวร
Subject
Symbolic and mathematical logic
Region
ภาคเหนือ
ภาคตะวันออกเฉียงเหนือ
ปีที่พิมพ์
2019 (1)
2015 (1)
2012 (1)
2011 (1)
2008 (1)
..more
ประเภทสื่อ
Book (11)
ภูมิภาค
ภาคใต้ (3)
ภาคตะวันออกเฉียงเหนือ (11)
ภาคเหนือ (11)
ภาคกลาง(กรุงเทพและปริมณฑล) (9)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (1)
มหาวิทยาลัยพะเยา (2)
มหาวิทยาลัยอุบลราชธานี (2)
มหาวิทยาลัยทักษิณ (1)
..more
ภาษา
eng (11)
ผลการค้นหา
Found:
11
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
An introduction to mathematical logic / Richard E. Hodel.
ชื่อผู้แต่ง
Hodel, Richard e.
พิมพลักษณ์
Boston : PWS, 1995
เลขเรียก
QA9 H62 1995,512 An543F 1995
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยทักษิณ
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยราชภัฏเลย
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Analysis and logic / edited by Catherine Finet \& Christian Michaux ; authors, C. Ward Henson...[et...
พิมพลักษณ์
Cambridge : Cambridge University Press, c2002.
เลขเรียก
QA300.5 A532 2002
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยนเรศวร
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Discrete mathematics and its applications / Kenneth H. Rosen
ชื่อผู้แต่ง
Rosen, Kenneth h.
พิมพลักษณ์
New York : McGraw-Hill Education, c2019
เลขเรียก
QA 39.3 R813d 2019,511 R813D 2019
ห้องสมุด
มหาวิทยาลัยพะเยา
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยนอร์ทกรุงเทพ
..more
×
มหาวิทยาลัยพะเยา
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยนอร์ทกรุงเทพ
มหาวิทยาลัยพายัพ
มหาวิทยาลัยมหิดล
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์
มหาวิทยาลัยศิลปากร
สถาบันเทคโนโลยีจิตรลดา
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Discrete structures with contemporary applications / Alexander Stanoyevitch.
ชื่อผู้แต่ง
Stanoyevitch, Alexander.
พิมพลักษณ์
Boca Raton, FL : CRC Press, c2011.
เลขเรียก
QA76.9.M35 S789d 2011
ห้องสมุด
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
ชื่อผู้แต่ง
Lewis, Harry r.
พิมพลักษณ์
Upper Saddle River, N.J. : Prentice-Hall International, c1998.
เลขเรียก
QA267 L674 1998,511 L674E 2005
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยนเรศวร
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Introduction to mathematical structures and proofs / Larry J. Gerstein.
ชื่อผู้แต่ง
Gerstein, Larry j.
พิมพลักษณ์
New York, N.Y. : Springer, c2012.
เลขเรียก
QA9 G4 2012,511.3 Ge383I 2012
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
..more
×
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
มหาวิทยาลัยอุบลราชธานี
7
ประเภทสื่อ
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
×
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
มหาวิทยาลัยพะเยา
มหาวิทยาลัยมหิดล
มหาวิทยาลัยราชภัฏเชียงใหม่
มหาวิทยาลัยราชภัฏเทพสตรี
มหาวิทยาลัยราชภัฏเลย
มหาวิทยาลัยอุบลราชธานี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic in elementary mathematics / Robert M. Exner, Myron F. Rosskopf.
ชื่อผู้แต่ง
Exner, Robert m.
พิมพลักษณ์
New York : McGraw-Hill, 1959.
เลขเรียก
BC135 E96,510 Ex 18
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยศรีนครินทรวิโรฒ
มหาวิทยาลัยศิลปากร
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Mathematical logic for computer science / M. Ben-Ari.
ชื่อผู้แต่ง
Ben-Ari, M., 1948-
พิมพลักษณ์
New York : Prentice Hall, c1993.
เลขเรียก
QA9 B456
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Mathematics, models, and modality : selected philosophical essays / John P. Burgess.
ชื่อผู้แต่ง
Burgess, John p. 1948-
พิมพลักษณ์
Cambridge : Cambridge University Press, c2008.
เลขเรียก
QA8.6 B955m 2008
ห้องสมุด
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยเทคโนโลยีสุรนารี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Set theory and logic / Robert R. Stoll.
ชื่อผู้แต่ง
Stoll, Robert r.
พิมพลักษณ์
New York : Dover Pub., 1963.
เลขเรียก
QA248 S74,511.3 St875S 19
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยมหิดล
มหาวิทยาลัยศรีนครินทรวิโรฒ
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา