หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Symbolic and mathematical logic
ปีที่พิมพ์
2023 (1)
2022 (3)
2021 (1)
2020 (2)
2019 (2)
..more
ประเภทสื่อ
Serial (2)
Book (541)
ภูมิภาค
ภาคใต้ (53)
ภาคตะวันออกเฉียงเหนือ (100)
ภาคเหนือ (95)
ภาคกลาง(กรุงเทพและปริมณฑล) (444)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (23)
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (4)
มหาวิทยาลัยราชภัฏอุตรดิตถ์ (2)
มหาวิทยาลัยพะเยา (11)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
..more
ภาษา
tha (1)
man (1)
ita (2)
ger (1)
eng (537)
ผลการค้นหา
Found:
543
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
A beginner's further guide to mathematical logic / Raymond Smullyan.
ชื่อผู้แต่ง
Smullyan, Raymond.
พิมพลักษณ์
Hackensack, NJ : World Scientific, 2017.
เลขเรียก
QA9 S6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
2
ประเภทสื่อ
Book
ชื่อเรื่อง
A Beginner's Guide to Discrete Mathematics [electronic resource] / by W.D. Wallis.
ชื่อผู้แต่ง
Wallis, W.d
พิมพลักษณ์
Boston : Birkhรคuser Boston, c2012
เลขเรียก
QA8.9-10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
A Beginner's Guide to Finite Mathematics [electronic resource] : For Business, Management, and the S...
ชื่อผู้แต่ง
Wallis, W.d
พิมพลักษณ์
Boston : Birkhรคuser Boston, c2012
เลขเรียก
QA150-272,510 Wa214B 2012
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยบูรพา
4
ประเภทสื่อ
Book
ชื่อเรื่อง
A bridge to higer mathematics / Valentin Deaconu, Donald C. Pfaff
ชื่อผู้แต่ง
Deaconu, Valentin
พิมพลักษณ์
Boca Raton : CRC Press, c2017
เลขเรียก
QA9.54 DEA 2017
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
5
ประเภทสื่อ
Book
ชื่อเรื่อง
A concise introduction to logic / Patrick J. Hurley.
ชื่อผู้แต่ง
Hurley, Patrick j.
พิมพลักษณ์
Belmont, Calif. : Wadsworth Pub., c1997.
เลขเรียก
BC108 .H83 1997
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
A concise introduction to mathematical logic / Wolfgang Rautenberg
ชื่อผู้แต่ง
Rautenberg, Wolfgang
พิมพลักษณ์
Berlin : Springer, c2010
เลขเรียก
QA9 RAU 2010
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg.
ชื่อผู้แต่ง
Rautenberg, Wolfgang
พิมพลักษณ์
New York, NY : Springer New York, c2010
เลขเรียก
QA8.9-10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
A concise introduction to pure mathematics / Martin Liebeck.
ชื่อผู้แต่ง
Liebeck, M. w. (martin w.) 1954-
พิมพลักษณ์
Boca Raton : CRC Press c2011.
เลขเรียก
QA9 L698c 2011,510 Li716C 2011
ห้องสมุด
มหาวิทยาลัยบูรพา
มหาวิทยาลัยนเรศวร
9
ประเภทสื่อ
Book
ชื่อเรื่อง
A Course in Mathematical Logic for Mathematicians [electronic resource] / by Yu. I. Manin.
ชื่อผู้แต่ง
Manin, Yu. i
พิมพลักษณ์
New York, NY : Springer New York, c2010
เลขเรียก
QA8.9-10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
A deduction model of belief / Kurt Konolige.
ชื่อผู้แต่ง
Konolige, Kurt.
พิมพลักษณ์
London : Pitman, c1986.
เลขเรียก
QA9.46 .K66 1986
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
11
ประเภทสื่อ
Book
ชื่อเรื่อง
A first course in logic : an introduction to model theory, proof theory, computability, and complexi...
ชื่อผู้แต่ง
Hedman, Shawn.
พิมพลักษณ์
Oxford ; New York : Oxford University Press, c2004.
เลขเรียก
QA9 H42 2004
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
A first course in mathematical Logic and set theory [electronic resource] / Michael L. O'Leary.
ชื่อผู้แต่ง
O'leary, Michael l.
พิมพลักษณ์
Hoboken, New Jersey : Wiley, c2016.
เลขเรียก
QA9.2
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยพะเยา
มหาวิทยาลัยสุโขทัยธรรมาธิราช
13
ประเภทสื่อ
Book
ชื่อเรื่อง
A framework for priority arguments / Manuel Lerman
ชื่อผู้แต่ง
Lerman, Manuel
พิมพลักษณ์
New York : Cambridge University Press, c2010
เลขเรียก
QA9.54 LER 2010
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
A friendly introduction to mathematical logic / Christopher C. Leary.
ชื่อผู้แต่ง
Leary, Christopher C., 1957-
พิมพลักษณ์
Upper Saddle River, N.J. : Prentice Hall, c2000.
เลขเรียก
QA76.9.L63 L438f 2000
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
15
ประเภทสื่อ
Book
ชื่อเรื่อง
A logical introduction to proof / Daniel W. Cunningham
ชื่อผู้แต่ง
Cunningham, Daniel w.
พิมพลักษณ์
New York : Springer, c2012
เลขเรียก
QA9 C86 2012,511.3 Cu973L 2012 22
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยศรีนครินทรวิโรฒ
1
2
3
4
5
6
7
8
9
10
>>
>>|
Loading...
ส่งข้อเสนอแนะ/ปัญหา