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-textItem 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: E-book Close shelf browser (Hides shelf browser)
511.0202 LIS 1976 Schaum's outline of theory and problems of discrete mathematics / | 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.33 KEM 1996 Mathematical logic and computability / | 511.5 BAS 1997 Schaum's outline of theory and problems of graph theory / | 511.6 TUA 2012 Applied combinatorics / | 511 ROD 1999 Discrete mathematics and its applications / |
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
There are no comments on this title.