หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Proof theory
ปีที่พิมพ์
2022 (1)
2021 (1)
2020 (1)
2019 (4)
2017 (1)
..more
ประเภทสื่อ
Book (70)
ภูมิภาค
ภาคใต้ (9)
ภาคตะวันออกเฉียงเหนือ (19)
ภาคเหนือ (10)
ภาคกลาง(กรุงเทพและปริมณฑล) (60)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (4)
มหาวิทยาลัยพะเยา (2)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
มหาวิทยาลัยอุบลราชธานี (4)
มหาวิทยาลัยธรรมศาสตร์ (2)
..more
ภาษา
eng (70)
ผลการค้นหา
Found:
70
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
2-D quadratic maps and 3-D ODE systems : a rigorous approach / Elhadj Zeraoulia, Julien Clinton Spro...
ชื่อผู้แต่ง
Zeraoulia, Elhadj
พิมพลักษณ์
Singapore : World Scientific, c2010
เลขเรียก
QA241 ZER 2010
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
A bridge to higer mathematics / Valentin Deaconu, Donald C. Pfaff
ชื่อผู้แต่ง
Deaconu, Valentin
พิมพลักษณ์
Boca Raton : CRC Press, c2017
เลขเรียก
QA9.54 DEA 2017
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
3
ประเภทสื่อ
Book
ชื่อเรื่อง
A framework for priority arguments / Manuel Lerman
ชื่อผู้แต่ง
Lerman, Manuel
พิมพลักษณ์
New York : Cambridge University Press, c2010
เลขเรียก
QA9.54 LER 2010
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox
ชื่อผู้แต่ง
Maddox, Randall b
พิมพลักษณ์
Amsterdam : Elsevier, c2009
เลขเรียก
QA9.54 M34 2009,511.36 M179T
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยมหิดล
..more
×
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยมหิดล
มหาวิทยาลัยรามคำแหง
5
ประเภทสื่อ
Book
ชื่อเรื่อง
A transition to proof : an introduction to advanced mathematics / Neil R. Nicholson
ชื่อผู้แต่ง
Nicholson, Neil r.
พิมพลักษณ์
Boca Raton, FL : CRC Press, Taylor & Francis Group, 2019
เลขเรียก
QA9.54 N627t 2019
ห้องสมุด
มหาวิทยาลัยนเรศวร
6
ประเภทสื่อ
Book
ชื่อเรื่อง
An accompaniment to higher mathematics / George R. Exner.
ชื่อผู้แต่ง
Exner, George r.
พิมพลักษณ์
New York : Springer-Verlag, c1996.
เลขเรียก
QA9.54 E8
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยมหิดล
7
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to mathematical reasoning : numbers, sets and functions / Peter J. Eccles.
ชื่อผู้แต่ง
Eccles, Peter j.
พิมพลักษณ์
Cambridge : Cambridge University Press, 2012.
เลขเรียก
QA9.54 .E23 2012
ห้องสมุด
มหาวิทยาลัยอุบลราชธานี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Analysis : with an introduction to proof / Steven R. Lay.
ชื่อผู้แต่ง
Lay, Steven r. 1944-
พิมพลักษณ์
Upper Saddle River, N.J. : Pearson Prentice Hall, c2005.
เลขเรียก
QA300 A532l 2005,515 Lay426A
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยมหาสารคาม
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Analysis with an introduction to proof / Steven R. Lay.
ชื่อผู้แต่ง
Lay, Steven r.
พิมพลักษณ์
Englewood Cliffs, N.J. : Pearson, 2014.
เลขเรียก
QA300 L426a 2014
ห้องสมุด
มหาวิทยาลัยมหิดล
มหาวิทยาลัยธรรมศาสตร์
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Analysis with an introduction to proof / Steven R. Lay.
ชื่อผู้แต่ง
Lay, Steven r. 1944-
พิมพลักษณ์
Boston : Pearson, c2014.
เลขเรียก
QA300 .L427 2014
ห้องสมุด
มหาวิทยาลัยรามคำแหง
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
พิมพลักษณ์
Oxford : Clarendon Press, c1993
เลขเรียก
QA9.54 ARI 1993
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Basic discrete mathematics : logic, set theory, & probability / Richard Kohar
ชื่อผู้แต่ง
Kohar, Richard
พิมพลักษณ์
New Jersey : World Scientific, 2016
เลขเรียก
511.1 K79B 2016
ห้องสมุด
มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยพะเยา
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
ชื่อผู้แต่ง
Troelstra, A.s.
พิมพลักษณ์
Cambridge : Cambridge Univ. Pr., c1996.
เลขเรียก
QA9.54 T843
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Burden of proof, presumption and argumentation / Douglas Walton.
ชื่อผู้แต่ง
Walton, Douglas n.
พิมพลักษณ์
New York : Cambridge University Press, c2014.
เลขเรียก
K2263 W34
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยแม่ฟ้าหลวง
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Charming proofs : a journey into elegant mathematics / Claudi Alsina, Rober B. Nelsen.
ชื่อผู้แต่ง
Alsina, Claudi.
พิมพลักษณ์
Washington, D.C. : Mathematical Association of America, c2010.
เลขเรียก
QA9.54 .A57 2010
ห้องสมุด
มหาวิทยาลัยรามคำแหง
1
2
3
4
5
Loading...
ส่งข้อเสนอแนะ/ปัญหา