Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary
A computational Logic Handbook/
Material type:
TextPublication details: New York: Academic Press, 1998.Edition: Second EditionDescription: xxv,518p: ill.; 23.4cmISBN: - 0121229556
- 511.3 BOY 1998
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Open Shelf
|
MUST Main Library | 511.3 BOY 1998 (Browse shelf(Opens below)) | Available | 2024-20574 |
Browsing MUST Main Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 AIB 2016 Graduate Texts in Mathematics: Topics in Banach Space Theory/ | 511.3 BAK 2003 Chaos : a mathematical introduction / | 511.3 BEL Boolean-valued models and independence proofs in set theory / | 511.3 BOY 1998 A computational Logic Handbook/ | 511.3 COP 2002 Introduction to logic / | 511.3 ECC 1997 An introduction to mathematical reasoning : numbers,sets and functions / | 511.3 HAM 1991 Logic for mathematicians / |
Includes Bibliographical, Appendixes, References and Indexes
There are no comments on this title.
Log in to your account to post a comment.