Search Results

Search again

Found: 23  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
An introduction to mathematical logic / Richard E. Hodel.
Author
Hodel, Richard E.
Published
Boston : PWS, c1995.
Call Number
511.3 H687I 1995
Location
Songkhla
Book Loading...
image
An introduction to symbol logic / Susanne K. Langer.
Author
Langer, Susanne K.
Published
New York : Dover, 1976.
Call Number
511.3 L276I 1967
Location
Songkhla
Book Loading...
image
Bridge to abstract mathematics : mathematical proff and structures / Ronald P. Morash.
Author
Morash, Ronald P.
Published
New York : McGraw-Hill, c1991.
Call Number
511.3 M829B 1991
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
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
Foundations of abstract mathematics / David C. Kurtz.
Author
Kurtz, David C.
Published
New York : McGraw-Hill, c1992.
Call Number
511.3 K96F 1992
Location
Songkhla
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...
image
How to prove it : a structured approach / Daniel J. Velleman.
Author
Velleman, Daniel J.
Published
Cambridge : Cambridge University Press, 2006
Call Number
511.3 V439H 2009
Location
Songkhla
Book Loading...
image
Logic : a philosophiical introduction / by Jack Kaminsky and Alice Kaminsky.
Author
Kaminsky, Jack.
Published
Reading, Mass. : Addison-Wesley, 1974.
Call Number
511.3 K15L 1974
Location
Songkhla
Book Loading...
image
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Author
Gallier, Jean H.
Published
New York : J. Wiley , c1987.
Call Number
511.3 G168L 1987
Location
Songkhla
Book Loading...
image
Logic in elementary mathematics / by Robert M. Exner and Myron F. Rosskopf.
Author
Exner, Robert M.
Published
New York : McGraw-Hill, 1959.
Call Number
512 E96L 1959
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...
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
201
This month
25,965
This year
696,710
All
2,401,044

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