Search the Library Catalogue
Quantification in nonclassical logic D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov
Publication details: Amsterdam ; London Elsevier 2009Edition: 1st edDescription: v. (xxiv, 615 p. ) : ill. ; 24 cmISBN:- 9780444520128
- 511.31 GAB
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 511.31 GAB (Browse shelf(Opens below)) | Available | 341421 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 511.3 WU, The Beauty Of Mathematics In Computer Science | 511.3028551 SOC Deduction systems | 511.3094309034 PUL The threat of logical mathematism : a study on the critique of mathematical logic in Germany at the turn of the 20th century | 511.31 GAB Quantification in nonclassical logic | 511.313 BER An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems | 511.313 COL Fuzzy technology : present applications and future challenges | 511.313 DAD Fuzzy Logic |
Contents: v. 1. Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.