Quantification in nonclassical logic / D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov.
By: Gabbay, Dov M
.
Contributor(s): Shehtman, V. B. (Valentin B.) | Skvortsov, D. P. (Dmitrij P.).
Series: Studies in logic and the foundations of mathematics: v. 153Publisher: Amsterdam : Elsevier, c2009Description: xxiv, 615 p. : ill. ; 24 cm.ISBN: 9780444520128 (v. 1: hbk.); 0444520120 (v. 1: hbk.).Subject(s): Nonclassical mathematical logicDDC classification: 511.31
| Item type | Current location | Call number | Copy number | Status | Notes | Date due | Barcode | Remark |
|---|---|---|---|---|---|---|---|---|
| Main Collection | TU External Storage-LCS | 511.31 GAB 2009 (Browse shelf) | 1 | Available | SOCIT,15009,03,GR | 5000104344 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |
Browsing Taylor's Library-TU Shelves Close shelf browser
| No cover image available | No cover image available | |||||||
| 511.3 VON 2013 Elements of logical reasoning / | 511.3028553 SHA Metamathematics, machines, and Godel's proof / | 511.305 Logic journal of the IGPL. | 511.31 GAB 2009 Quantification in nonclassical logic / | 511.322 CAN Set theory for computing : | 511.322 LIP Schaum's outline of theory and problems of set theory and related topics / | 511.322 LIP Schaum's outline of theory and problems of set theory and related topics / |
Includes bibliographical references and index.