Image from Amazon.com
Introduction to propositional satisfiability / Victor Marek.
Series: Studies in logic ; 49Publication details: [London?] : College Publications, c2014.Edition: [2nd ed.]Description: xv, 358 p. : ill. ; 24 cmContent type:- text
- unmediated
- volume
- 9781848901391
- 1848901399
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Long loan | Pilkington Library Pilkington Main Collection | 511.3/MAR (Browse shelf(Opens below)) | Available | 0404606407 | |||
| Long loan | Pilkington Library Pilkington Main Collection | 511.3/MAR (Browse shelf(Opens below)) | Checked out | 17/06/2024 | 0404606415 |
Total holds: 0
Browsing Pilkington Library shelves, Shelving location: Pilkington Main Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3/MAR A guide to classical and modern model theory / | 511.3/MAR Introduction to mathematics of satisfiability / | 511.3/MAR Introduction to propositional satisfiability / | 511.3/MAR Introduction to propositional satisfiability / | 511.3/MAT Elementary logic. | 511.3/MAT Mathematical logic in the 20th century / | 511.3/MAT Mathematical reasoning : |
Includes bibliographical references (p. 351-354) and index.
There are no comments on this title.
Log in to your account to post a comment.