Mathematical logic and computability (Book, 1996) [WorldCat.org]
skip to content
Mathematical logic and computability Preview this item
ClosePreview this item
Checking...

Mathematical logic and computability

Author: H Jerome Keisler; Joel W Robbin
Publisher: New York : McGraw-Hill, ©1996.
Series: International series in pure and applied mathematics.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Intended for a one-semester advanced undergraduate course in mathematical logic, this book requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: H Jerome Keisler; Joel W Robbin
ISBN: 0079129315 9780079129314 0070339392 9780070339392 0071144269 9780071144261
OCLC Number: 34360666
Notes: 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.
Description: vii, 484 pages ; 24 cm + 1 computer disc (3 1/2 in.)
Details: System requirements: IBM PC or compatible personal computer; Windows 3.0 or later, or WINDOWS 95.
Contents: Includes Logiclab [computer file] for DOS and Windows.
Series Title: International series in pure and applied mathematics.
Responsibility: H. Jerome Keisler, Joel Robbin.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.