Search Results

Search again

Found: 31  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
The logical status of diagrams / Sun-Joo Shin.
Author
Shin, Sun-Joo.
Published
Cambridge : Cambridge University Press, 1994.
Call Number
511.33 S556L 1994
Location
Songkhla
Book Loading...
image
The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro.
Published
Oxford, New York : Oxford University Press, c2005.
Call Number
510.1 O198 2005
Location
Phatthalung
Book Loading...
image
Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated by D.F Pears & B.F. McGuinness.
Author
Wittgenstein, Ludwig,
Published
Atlantic Highlands, N.J. Humanities Press, 1993.
Call Number
192 W831T 1993
Location
Songkhla
Book Loading...
image
Constructibility and mathematical existence / Charles S. Chihara.
Author
Chihara, Charles S.
Published
Oxford : Clarendon, 1990.
Call Number
511 C534C 1990
Location
Songkhla
Book Loading...
image
Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics, second edition, by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D. / abridgement editor, George J....
Published
New York : McGraw Hill, 2003.
Call Number
510 D611 2003
Location
Songkhla
Book Loading...
image
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J.Winston Crawley.
Author
Ensley, Douglas E.
Published
Hoboken, NJ : Wiley, c2006.
Call Number
511.1 E59D 2006
Location
Songkhla
Book Loading...
image
Elements of the theory of conputation / Harry R. Lewis and Christos H. Papadimitriou.
Author
Lewis, Harry R.
Published
London : Prentice Hall International, c1998.
Call Number
004 L674E 1998
Location
Songkhla
Book Loading...
image
Logic with symlog learning symbolic logic by computer / Frederic D. Portoraro, Robert E. Tully.
Author
Portoraro, Frederic D.
Published
Englewood Cliffs, N.J. : Prentice Hall, c1992.
Call Number
160.2855369 P853L 1992
Location
Songkhla
Book Loading...
image
Logic-based methods for optimization : combining optimization and constraint satisfaction / John Hooker.
Author
Hooker, John,
Published
New York : J. Wiley, c2000.
Call Number
519.72 H783L 2000
Location
Songkhla
Book Loading...
image
Mathematical logic and computability / H. Jerome Keisler, Joel Robbin.
Author
Keisler, H. Jerome.
Published
New York : McGraw-Hill, 1996.
Call Number
511.3 K27M 1996
Location
Songkhla
Book Loading...
image
Modern logic : a text in elementary symbolic logic / Graeme Forbes.
Author
Forbes, Graeme.
Published
New York : Oxford University Press, 1994.
Call Number
160 F692M 1994
Location
Songkhla
Book Loading...
image
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger.
Author
Manna, Zohar.
Published
Reading, Mass. : Addison-Wesley, c1993.
Call Number
519.7 M282D 1993
Location
Songkhla
Book Loading...
image
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Author
Boolos, George S.
Published
Cabridge, UK : Cambridge University Press, 2002.
Call Number
511.3 B724C 2002
Location
Songkhla
Book Loading...
image
Discrete structures, logic, and computability / James L. Hein.
Author
Hein, James L.
Published
Boston : Jones and Bartlett, c1995.
Call Number
005.015113 H468D 1995
Location
Phatthalung
Book Loading...
image
Foundations of logic programming / J.W. Lloyd.
Author
Lloyd, J.W.
Published
Berlin : Springer-Verlag, 1984.
Call Number
511.3 L793F 1984
Location
Songkhla
Book Loading...
Search Tools: Get RSS Feed

About us

WALAI AutoLib is library automation system produced by Informatic Innovation Research Unit (IIRU), Walailak University.

Statistics

 Starting from date  22 Sep 2563

Today
2,618
This month
206,946
This year
4,966,741
All
16,203,492

Recent News

Read More

Useful Links

Contact Us

Institute of Learning Resources and Digital Technology, Thaksin University, Songkhla 140 Moo. 4, Kanjanawanit Rd., Khoa-Roob-Chang, Muang , Songkhla 90000, Thailand ---- Institute of Learning Resources and Digital Technology, Thaksin University, Phatthalung 222 Moo. 2, Baan Prao Sub-District, Papayom , Phatthalung 93110, Thailand
Phone: (Songkhla) 0-7431-7600 ต่อ 5555 หรือ (Phatthalung) 0-7460-9600 ต่อ 1222
Email: library@tsu.ac.th
Enter to my library site TSU

2020 © WALAI AutoLib. ALL Rights Reserved. | tsu20231208

Style Switcher
Theme Colors
Layout Styles
Wide
Boxed