TY  - BOOK
AU  - Keiser,H.Jerome
AU  - Robbin, Joel 
TI  - Mathematical logic and computability
SN  - 0079129315
U1  - 511.33 
PY  - 1996///
CY  - New York
PB  - McGraw-Hill
KW  - Mathematics
KW  - Mathematics Symbolic logic
N1  - 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
UR  - http://www.worldcat.org/title/mathematical-logic-and-computability/oclc/34360666&referer=brief_results
UR  - http://lib.ewubd.edu/ebook/203
ER  -