Mathematical logic and computability / H Jerome Keisler and Joel W Robbin
By: Keiser, H. Jerome.
Contributor(s): Robbin, Joel.Material type: TextSeries: International series in pure and applied mathematics. Publisher: New York : McGraw-Hill, 1996Description: vii, 484 p. : ill ; 22 cm.ISBN: 0079129315; 9780079129314; 0070339392; 9780070339392.Subject(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