Bibliographic Detail  #7057    

Material Type Books
TitleDiscrete structures, logic and computability / James L. Hein
LC Call # QA76 H44 1995
AuthorHein, James L.
ContentElementary notions and notationsFacts about functionsConstruction techniquesEquivalence, order, and inductive proofAnalysis techniquesElementary logicPredicate logicApplied logicComputational logicAlgebraic structures and techniquesRegular languages and finete automataContext-free languagesTuring machines an equivalent modelsComputaional notions
SubjectLogic, symbolic and mathematical
 Computer science
 Data structures (computer science)
 Computable functions
ISBN0-86720-477-x
Published/CreatedBoston, MA : Jones and Bartlett, c1995.
Select Branch :
 BarcodeCallNoCollectionBranchLocationStatus
303404QA76 H44 1995BookPSU Phuket Campus Library Foreign Book (2nd Fl.)   Available
 
Add Comment Dialog
Your Name
Comment

Add Review Dialog
Your Name
Content
Add to list
Title
Create in
Use same folder
Create a Folder
Folder Name
Add to list result
Hold Dialog
Branch Receive
Expected Date Received
 
Request Inprocess Items
เงื่อนไข
  • 1. ส่งคำขอเวลา 8.30-11.00น รับหนังสือเวลา 16.00น.
  • 2. ส่งคำขอหลังเวลา 11.00น. รับหนังสือในวันทำการถัดไป
  • 3. ส่งคำขอ วันศุกร์ช่วงบ่าย หรือ วันเสาร์-อาทิตย์ รับหนังสือวันจันทร์ 16.00น.
  • 4. ติดต่อรับหนังสือด่วนได้ที่ เคาน์เตอร์บริการยืม-คืน ชั้น 3 *ภายใน 3 วัน*
ติดต่อสอบถามข้อมูลเพิ่มเติม โทร. 2352
Items Location Map
Result Dialog
Undefined result.
Login Dialog
Username:
Password:
Forgot your password ?