1 option
Mathematical logic and computability / H. Jerome Keisler, Joel Robbin.
Math/Physics/Astronomy Library QA9.59 .K45 1996 1 v. + disk
Available
- Format:
- Book
- Author/Creator:
- Keisler, H. Jerome.
- Series:
- International series in pure and applied mathematics
- Language:
- English
- Subjects (All):
- Computable functions.
- Logic, Symbolic and mathematical.
- Formal languages.
- Physical Description:
- vii, 484 pages : illustrations ; 24 cm + 1 computer disk (3 1/2 in.)
- Other Title:
- Logiclab
- Place of Publication:
- New York : McGraw-Hill, [1996]
- System Details:
- System requirements: IBM PC or compatible PC; Windows 3.0 or later, or Windows 95.
- Notes:
- Includes bibliographical references and index.
- Computer disk entitled Logiclab which includes 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.
- ISBN:
- 0079129315
- OCLC:
- 34360666
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.