Mathematical logic and computability / H. Jerome Keisler, Joel Robbin.

Bibliographic Details
Uniform Title:International series in pure and applied mathematics.
Main Author: Keisler, H. Jerome
Other Authors: Robbin, Joel W.
Language:English
Published: New York : McGraw-Hill, [1996], ©1996.
Series:International series in pure and applied mathematics.
Subjects:
Physical Description:vii, 484 pages ; 24 cm + 1 computer disc (3 1/2 in).
Format: Book

MARC

LEADER 00000cam a2200000 a 4500
001 in00002203446
003 OCoLC
005 20220616043822.0
006 m f b
008 960314t19961996nyu b 001 0 eng d
010 |a  95080649  
020 |a 0079129315 
035 |a (OCoLC)34360666 
040 |a GZM  |c GZM  |d NOC  |d UtOrBLW 
049 |a EEMO 
090 |a QA9.59 .K45 1996 
090 |a QA9.59  |b .K45 1996 
100 1 |a Keisler, H. Jerome.  |0 http://id.loc.gov/authorities/names/n79109314 
245 1 0 |a Mathematical logic and computability /  |c H. Jerome Keisler, Joel Robbin. 
260 |a New York :  |b McGraw-Hill,  |c [1996], ©1996. 
300 |a vii, 484 pages ;  |c 24 cm +  |e 1 computer disc (3 1/2 in). 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a International series in pure and applied mathematics 
500 |a Accompanied by 1 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. 
504 |a Includes bibliographical references and index. 
538 |a System requirements: IBM PC or compatible personal computer; Windows 3.0 or later, or WINDOWS 95. 
650 0 |a Computable functions.  |0 http://id.loc.gov/authorities/subjects/sh85029469 
650 0 |a Logic, Symbolic and mathematical.  |0 http://id.loc.gov/authorities/subjects/sh85078115 
650 0 |a Formal languages.  |0 http://id.loc.gov/authorities/subjects/sh85050802 
700 1 |a Robbin, Joel W.  |0 http://id.loc.gov/authorities/names/n88636297 
830 0 |a International series in pure and applied mathematics.  |0 http://id.loc.gov/authorities/names/n42705574 
866 0 |a Remote Storage: Book for use with disk 
866 0 |a G.M. Kline Digital/Media: 1 disk for use with book 
907 |y .b33080495  |b 211127  |c 980610 
998 |a dm  |a rs  |b 980604  |c m  |d a   |e -  |f eng  |g nyu  |h 0  |i 2 
935 |a BET1227 
999 f f |i 417bd6f1-a7c1-5cf7-bfe3-67eb05360290  |s 635f9413-9e6c-5f70-bda6-ace947c36105  |t 0 
952 f f |p 14 Day Loan  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU G.M. Kline Digital/Media  |d MSU G.M. Kline Digital/Media - Disk, 4 West  |t 0  |e QA9.59 .K45 1996  |h Library of Congress classification  |i Audio/Visual (includes CD/DVD/Blu-Ray/Games/Software)  |j disk  |m 31293004581983  |n 1 
952 f f |p Can Circulate  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Remote Storage  |d MSU Remote Storage  |t 0  |e QA9.59 .K45 1996  |h Library of Congress classification  |i Printed Material  |m 31293004255000  |n 1