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 |
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.