Mathematical logic and computability / H Jerome Keisler and Joel W Robbin
Contributor(s): Robbin, JoelMaterial type: TextLanguage: English Series: International series in pure and applied mathematicsPublisher: New York : McGraw-Hill, 1996Description: 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 location||Collection||Call number||Copy number||Status||Date due||Barcode||Item holds|
|E-Book||EWU Library E-book||Non-fiction||511.33 KEM 1996 (Browse shelf)||Not for loan|
|Text||EWU Library Reserve Section||Non-fiction||511.33 KEM 1996 (Browse shelf)||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.
Applied Physics & Electronics