Mathematical logic and computability / H Jerome Keisler and Joel W Robbin
Material type:
TextLanguage: English Series: International series in pure and applied mathematicsPublication details: New York : McGraw-Hill, 1996 Description: vii, 484 p. : ill ; 22 cmISBN: 0079129315; 9780079129314; 0070339392; 9780070339392Subject(s): Mathematics | Mathematics Symbolic logicDDC classification: 511.33 Online resources: WorldCat details | E-Book Full-text
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
E-Book
|
Dr. S. R. Lasker Library, EWU E-book | Non-fiction | 511.33 KEM 1996 (Browse shelf(Opens below)) | Not for loan | ||||
Text
|
Dr. S. R. Lasker Library, EWU Reserve Section | Non-fiction | 511.33 KEM 1996 (Browse shelf(Opens below)) | C-1 | Not For Loan | 6796 |
Browsing Dr. S. R. Lasker Library, EWU shelves, Shelving location: Reserve Section Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3130285 SII 2007 Introduction to fuzzy logic using MATLAB / | 511.322 LIS 1999 Schaum's outline of theory and problems of set theory and related topics / | 511.322 ROF 1995 Fuzzy logic with engineering applications / | 511.33 KEM 1996 Mathematical logic and computability / | 511.5 BAS 1997 Schaum's outline of theory and problems of graph theory / | 511.5 BAS 1997 Schaum's outline of theory and problems of graph theory / | 511.6 HAC 2019 কম্বিনেটরিকসে হাতেখড়ি / |
Includes computer disk called Logiclab which contains both DOS and Windows versions of four programs. The DOS versions are TABLEAU, COMPLETE, PREDCALC, and GNUMBER, and the Windows versions are TABWIN, COMPWIN, PREDWIN, and GNUMWIN.
Includes index.
APE
Sagar Shahanawaz
Click on an image to view it in the image viewer
There are no comments on this title.