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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	A tour through mathematical logic / Robert S. Wolf.
ชื่อผู้แต่ง	Wolf, Robert s.
พิมพลักษณ์	Washington, DC : Mathematical Association of America, c2005.
เลขเรียก	QA9 W6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced work in English / by C.R.E. Parker ; with an introduction to the study of linguistics by W...
ชื่อผู้แต่ง	Parker, C.r.e. (colin rodwell eric)
พิมพลักษณ์	London : Longmans, 1967.
เลขเรียก	PE1072 P238
ห้องสมุด	มหาวิทยาลัยขอนแก่น

4

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel.
ชื่อผู้แต่ง	Cohon, Morris raphael 1880-1947.
พิมพลักษณ์	New York : Harcourt, c1934.
เลขเรียก	BC135 C6
ห้องสมุด	มหาวิทยาลัยขอนแก่น

5

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to mathematical logic / Richard E. Hodel.
ชื่อผู้แต่ง	Hodel, Richard e.
พิมพลักษณ์	Boston : PWS, 1995
เลขเรียก	QA9 H62 1995,512 An543F 1995
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยทักษิณ มหาวิทยาลัยนเรศวร มหาวิทยาลัยราชภัฏเลย

6

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.
ชื่อผู้แต่ง	Andrews, Peter b. (peter bruce)
พิมพลักษณ์	Orlando, Fla. : Academic Pr., 1986.
เลขเรียก	QA9.A5 A568
ห้องสมุด	มหาวิทยาลัยขอนแก่น

7

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to substructural logics / Greg Restall.
ชื่อผู้แต่ง	Restall, Greg 1969-
พิมพลักษณ์	London ; New York : Routledge, 2000.
เลขเรียก	BC135 R47 2000
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Analysis and logic / edited by Catherine Finet \& Christian Michaux ; authors, C. Ward Henson...[et...
พิมพลักษณ์	Cambridge : Cambridge University Press, c2002.
เลขเรียก	QA300.5 A532 2002
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยนเรศวร

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Ti...
พิมพลักษณ์	Cambridge : Cambridge University Press, 2007.
เลขเรียก	QA9.A5 B489 2007,511.3 B565
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีสุรนารี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Chapter zero fundamental notions of abstract mathematics / Carol Schumacher.
ชื่อผู้แต่ง	Schumacher, Carol.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1996.
เลขเรียก	QA9 S376 1996,511.3 Sc392C
ห้องสมุด	มหาวิทยาลัยบูรพา มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยมหาสารคาม

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Closure spaces and logic / by Norman M. Martin and Stephen Pollard.
ชื่อผู้แต่ง	Martin, Norman M.
พิมพลักษณ์	Boston : Kluwer Academic Publishers, c1996.
เลขเรียก	514.32 Ma379C
ห้องสมุด	มหาวิทยาลัยมหาสารคาม

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Combinatorics, computation & logic 99 : proceedings of DMTCS'99 and CATS'99, Auckland, New Zealand, ...
ชื่อผู้แต่ง	Dmtcs '99 (1999 : Auckland, N.z.)
พิมพลักษณ์	Singapore ; New York : Springer, c1999.
เลขเรียก	QA164 D62 1999
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational logic and human thinking [electronic resource] : how to be artificially intelligent / ...
ชื่อผู้แต่ง	Kowalski, Robert
พิมพลักษณ์	Cambridge : Cambridge University Press, 2011
เลขเรียก	511.3 K886C 2011eb
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Constructibility and mathematical existence / Charles S. Chihara.
ชื่อผู้แต่ง	Chihara, Charles s.
พิมพลักษณ์	Oxford : Clarendon Pr., c1990.
เลขเรียก	QA9.4 C534
ห้องสมุด	มหาวิทยาลัยขอนแก่น

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Diamond : a paradox logic / N. S. Hellerstein.
ชื่อผู้แต่ง	Hellerstein, N. s. (nathaniel s.)
พิมพลักษณ์	Singapore ; Hackensack, NJ : World Scientific, c2010.
เลขเรียก	QA9 H34 2010
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3
4
5
6
7

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