First-order logic
Material type: TextPublication details: New York : Dover Publications, ©1995Description: xii, 158 p. ; 22 cmISBN:- 9780486683706
- 511.3 SMU-F
Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | IIITD General Stacks | Mathematics | 511.3 SMU-F (Browse shelf(Opens below)) | Available | Gifted by Dr. Rakesh Chaturvedi | G02026 | ||
Books | IIITD General Stacks | Mathematics | 511.3 SMU-F (Browse shelf(Opens below)) | Available | 001829 |
Total holds: 0
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
511.3 REV-I Introduction to formal languages | 511.3 RIC-A Automata, computability and complexity : | 511.3 ROS-F Fuzzy logic with engineering applications | 511.3 SMU-F First-order logic | 511.3 SMU-F First-order logic | 511.3 SRI-C A course on mathematical logic | 511.3 STO-I Introduction to elementary mathematical logic |
Includes References and an Index
There are no comments on this title.